Index of /ubuntu/pool/universe/p/proofgeneral

	Name	Last modified	Size
	Parent Directory		-
	proofgeneral_3.5-6_all.deb	2007-10-29 09:03	409K
	proofgeneral-misc_3.5-6_all.deb	2007-10-29 09:03	147K
	proofgeneral-minlog_3.5-6_all.deb	2007-10-29 09:03	16K
	proofgeneral-doc_3.5-6_all.deb	2007-10-29 09:03	119K
	proofgeneral-coq_3.5-6_all.deb	2007-10-29 09:03	44K
	proofgeneral_3.5-6.dsc	2007-10-24 00:04	671
	proofgeneral_3.5-6.diff.gz	2007-10-24 00:04	17K
	proofgeneral_3.5.orig.tar.gz	2004-10-25 21:16	1.7M