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

	Name	Last modified	Size
	Parent Directory		-
	proofgeneral-coq_3.5-3_all.deb	2005-04-30 17:56	43K
	proofgeneral-doc_3.5-3_all.deb	2005-04-30 17:56	118K
	proofgeneral-misc_3.5-3_all.deb	2005-04-30 17:56	146K
	proofgeneral_3.5-3.diff.gz	2005-04-30 17:56	8.0K
	proofgeneral_3.5-3.dsc	2004-08-20 13:02	645
	proofgeneral_3.5-3_all.deb	2005-04-30 17:56	408K
	proofgeneral_3.5.orig.tar.gz	2004-08-20 12:32	1.7M