Index of /distribution/debian-archive/debian-amd64/pool/main/p/proofgeneral/

../
proofgeneral-coq_3.5-3_all.deb                     30-Apr-2005 19:56               44040
proofgeneral-doc_3.5-3_all.deb                     30-Apr-2005 19:56              120940
proofgeneral-misc_3.5-3_all.deb                    30-Apr-2005 19:56              149776
proofgeneral_3.5-3.diff.gz                         30-Apr-2005 19:56                8207
proofgeneral_3.5-3.dsc                             20-Aug-2004 15:02                 645
proofgeneral_3.5-3_all.deb                         30-Apr-2005 19:56              417866
proofgeneral_3.5.orig.tar.gz                       20-Aug-2004 14:32             1775841