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

	Name	Last modified	Size	Description
	Parent Directory		-
	proofgeneral-coq_3.5-4.1_all.deb	19-Dec-2006 18:47	44K
	proofgeneral-coq_3.7-3_all.deb	02-Apr-2008 10:17	70K
	proofgeneral-doc_3.5-4.1_all.deb	19-Dec-2006 18:47	119K
	proofgeneral-doc_3.7-3_all.deb	02-Apr-2008 10:17	88K
	proofgeneral-minlog_3.5-4.1_alpha.deb	20-Dec-2006 20:33	17K
	proofgeneral-minlog_3.5-4.1_amd64.deb	19-Dec-2006 23:47	17K
	proofgeneral-minlog_3.5-4.1_hppa.deb	19-Dec-2006 20:32	17K
	proofgeneral-minlog_3.5-4.1_i386.deb	19-Dec-2006 18:47	17K
	proofgeneral-minlog_3.5-4.1_mips.deb	20-Dec-2006 20:33	17K
	proofgeneral-minlog_3.5-4.1_mipsel.deb	20-Dec-2006 20:33	17K
	proofgeneral-minlog_3.5-4.1_powerpc.deb	20-Dec-2006 20:33	17K
	proofgeneral-minlog_3.5-4.1_sparc.deb	20-Dec-2006 11:02	17K
	proofgeneral-minlog_3.7-3_all.deb	02-Apr-2008 10:17	19K
	proofgeneral-misc_3.5-4.1_all.deb	19-Dec-2006 18:47	147K
	proofgeneral-misc_3.7-3_all.deb	02-Apr-2008 10:17	138K
	proofgeneral_3.5-4.1.diff.gz	19-Dec-2006 18:47	20K
	proofgeneral_3.5-4.1.dsc	19-Dec-2006 18:47	675
	proofgeneral_3.5-4.1_all.deb	19-Dec-2006 18:47	411K
	proofgeneral_3.5.orig.tar.gz	20-Aug-2004 12:32	1.7M
	proofgeneral_3.7-3.diff.gz	02-Apr-2008 10:17	21K
	proofgeneral_3.7-3.dsc	02-Apr-2008 10:17	714
	proofgeneral_3.7-3_all.deb	02-Apr-2008 10:17	472K
	proofgeneral_3.7.orig.tar.gz	18-Mar-2008 23:47	1.9M