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

	Name	Last modified	Size	Description
	Parent Directory		-
	proofgeneral-coq_3.7-3_all.deb	2008-04-02 06:17	70K
	proofgeneral-doc_3.7-3_all.deb	2008-04-02 06:17	88K
	proofgeneral-minlog_3.7-3_all.deb	2008-04-02 06:17	19K
	proofgeneral-misc_3.7-3_all.deb	2008-04-02 06:17	138K
	proofgeneral_3.7-3_all.deb	2008-04-02 06:17	472K
	proofgeneral-coq_3.7-4_all.deb	2010-10-11 16:48	71K
	proofgeneral-doc_3.7-4_all.deb	2010-10-11 16:48	88K
	proofgeneral-minlog_3.7-4_all.deb	2010-10-11 16:48	20K
	proofgeneral-misc_3.7-4_all.deb	2010-10-11 16:48	139K
	proofgeneral_3.7-4_all.deb	2010-10-11 16:48	471K
	proofgeneral-doc_4.2~pre120605-2_all.deb	2012-12-06 06:41	656K
	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-doc_4.3~pre131011-0.2_all.deb	2014-11-16 11:54	671K
	proofgeneral-doc_4.4.1~pre170114-1_all.deb	2017-01-16 16:49	666K
	proofgeneral_4.4.1~pre170114-1_all.deb	2017-01-16 16:49	589K