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

	Name	Last modified	Size	Description
	Parent Directory		-
	proofgeneral-coq_3.7-3.1_all.deb	2009-11-07 13:04	71K
	proofgeneral-coq_3.7-4_all.deb	2010-10-17 10:05	71K
	proofgeneral-doc_3.7-3.1_all.deb	2009-11-07 13:04	88K
	proofgeneral-doc_3.7-4_all.deb	2010-10-17 10:05	88K
	proofgeneral-doc_4.3~pre130510-1.1_all.deb	2014-02-28 06:38	642K
	proofgeneral-minlog_3.7-3.1_all.deb	2009-11-07 13:04	20K
	proofgeneral-minlog_3.7-4_all.deb	2010-10-17 10:05	20K
	proofgeneral-misc_3.7-3.1_all.deb	2009-11-07 13:04	139K
	proofgeneral-misc_3.7-4_all.deb	2010-10-17 10:05	139K
	proofgeneral_3.7-3.1.diff.gz	2009-11-06 04:04	23K
	proofgeneral_3.7-3.1.dsc	2009-11-06 04:04	1.1K
	proofgeneral_3.7-3.1_all.deb	2009-11-07 13:04	473K
	proofgeneral_3.7-4.diff.gz	2010-10-15 09:09	24K
	proofgeneral_3.7-4.dsc	2010-10-15 09:09	1.7K
	proofgeneral_3.7-4_all.deb	2010-10-17 10:05	474K
	proofgeneral_3.7.orig.tar.gz	2008-05-02 23:19	1.9M
	proofgeneral_4.3~pre130510-1.1.debian.tar.xz	2014-02-28 06:38	19K
	proofgeneral_4.3~pre130510-1.1.dsc	2014-02-28 06:38	2.0K
	proofgeneral_4.3~pre130510-1.1_all.deb	2014-02-28 06:38	353K
	proofgeneral_4.3~pre130510.orig.tar.gz	2013-05-18 12:33	1.0M