Index of /debian/pool/main/p/proofgeneral

	Name	Last modified	Size	Description
	Parent Directory		-
	proofgeneral_4.3~pre131011.orig.tar.xz	2014-08-12 09:27	11M
	proofgeneral_3.7.orig.tar.gz	2008-03-18 19:47	1.9M
	proofgeneral_4.2~pre120605.orig.tar.gz	2012-06-09 11:26	1.0M
	proofgeneral-doc_4.3~pre131011-0.2_all.deb	2014-11-16 11:54	671K
	proofgeneral-doc_4.2~pre120605-2_all.deb	2012-12-06 06:41	656K
	proofgeneral_3.7-4_all.deb	2010-10-11 16:48	471K
	proofgeneral_4.2~pre120605-2_all.deb	2012-12-06 06:41	422K
	proofgeneral_4.3~pre131011-0.2_all.deb	2014-11-16 11:54	367K
	proofgeneral-misc_3.7-4_all.deb	2010-10-11 16:48	139K
	proofgeneral-doc_3.7-4_all.deb	2010-10-11 16:48	88K
	proofgeneral-coq_3.7-4_all.deb	2010-10-11 16:48	71K
	proofgeneral_3.7-4.diff.gz	2010-10-11 16:48	24K
	proofgeneral-minlog_3.7-4_all.deb	2010-10-11 16:48	20K
	proofgeneral_4.2~pre120605-2.debian.tar.gz	2012-12-06 06:41	19K
	proofgeneral_4.3~pre131011-0.2.debian.tar.xz	2014-11-16 11:54	19K
	proofgeneral_4.3~pre131011-0.2.dsc	2014-11-16 11:54	1.9K
	proofgeneral_4.2~pre120605-2.dsc	2012-12-06 06:41	1.9K
	proofgeneral_3.7-4.dsc	2010-10-11 16:48	1.7K