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

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