Index of /pub/os/linux/debian-amd64/pool/main/p/proofgeneral/

Filename	Modification time	Size
proofgeneral-coq_3.5-3_all.deb	2005-04-30 19:56 CEST	43 KiB
proofgeneral-doc_3.5-3_all.deb	2005-04-30 19:56 CEST	118 KiB
proofgeneral-misc_3.5-3_all.deb	2005-04-30 19:56 CEST	146 KiB
proofgeneral_3.5-3.diff.gz	2005-04-30 19:56 CEST	8207 B
proofgeneral_3.5-3.dsc	2004-08-20 15:02 CEST	645 B
proofgeneral_3.5-3_all.deb	2005-04-30 19:56 CEST	408 KiB
proofgeneral_3.5.orig.tar.gz	2004-08-20 14:32 CEST	1734 KiB