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

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