Index of /pool/universe/p/proofgeneral

	Name	Last modified	Size	Description
	Parent Directory		-
	proofgeneral-coq_3.5-6_all.deb	29-Oct-2007 05:03	44K
	proofgeneral-coq_3.7-3.1_all.deb	07-Nov-2009 14:04	71K
	proofgeneral-coq_3.7-4_all.deb	17-Oct-2010 11:05	71K
	proofgeneral-doc_3.5-6_all.deb	29-Oct-2007 05:03	119K
	proofgeneral-doc_3.7-3.1_all.deb	07-Nov-2009 14:04	88K
	proofgeneral-doc_3.7-4_all.deb	17-Oct-2010 11:05	88K
	proofgeneral-doc_4.2~pre120411-2_all.deb	07-May-2012 09:34	650K
	proofgeneral-minlog_3.5-6_all.deb	29-Oct-2007 05:03	16K
	proofgeneral-minlog_3.7-3.1_all.deb	07-Nov-2009 14:04	20K
	proofgeneral-minlog_3.7-4_all.deb	17-Oct-2010 11:05	20K
	proofgeneral-misc_3.5-6_all.deb	29-Oct-2007 05:03	147K
	proofgeneral-misc_3.7-3.1_all.deb	07-Nov-2009 14:04	139K
	proofgeneral-misc_3.7-4_all.deb	17-Oct-2010 11:05	139K
	proofgeneral_3.5-6.diff.gz	23-Oct-2007 20:04	17K
	proofgeneral_3.5-6.dsc	23-Oct-2007 20:04	671
	proofgeneral_3.5-6_all.deb	29-Oct-2007 05:03	409K
	proofgeneral_3.5.orig.tar.gz	25-Oct-2004 17:16	1.7M
	proofgeneral_3.7-3.1.diff.gz	06-Nov-2009 05:04	23K
	proofgeneral_3.7-3.1.dsc	06-Nov-2009 05:04	1.1K
	proofgeneral_3.7-3.1_all.deb	07-Nov-2009 14:04	473K
	proofgeneral_3.7-4.diff.gz	15-Oct-2010 10:09	24K
	proofgeneral_3.7-4.dsc	15-Oct-2010 10:09	1.7K
	proofgeneral_3.7-4_all.deb	17-Oct-2010 11:05	474K
	proofgeneral_3.7.orig.tar.gz	03-May-2008 00:19	1.9M
	proofgeneral_4.2~pre120411-2.debian.tar.gz	07-May-2012 09:34	18K
	proofgeneral_4.2~pre120411-2.dsc	07-May-2012 09:34	1.9K
	proofgeneral_4.2~pre120411-2_all.deb	07-May-2012 09:34	417K
	proofgeneral_4.2~pre120411.orig.tar.gz	07-May-2012 09:34	1.0M