Index of /mirrors/Linux/Guadalinex/mirror/debian/pool/main/p/proofgeneral/

../
proofgeneral-coq_3.5-3_all.deb                     20-Aug-2004 13:02     43K
proofgeneral-doc_3.5-3_all.deb                     20-Aug-2004 13:02    118K
proofgeneral-misc_3.5-3_all.deb                    20-Aug-2004 13:02    146K
proofgeneral_3.5-3.diff.gz                         20-Aug-2004 13:02    8207
proofgeneral_3.5-3.dsc                             20-Aug-2004 13:02     645
proofgeneral_3.5-3_all.deb                         20-Aug-2004 13:02    408K
proofgeneral_3.5.orig.tar.gz                       20-Aug-2004 12:32      2M