Index of /caixamagica/pool/universe/p/proofgeneral

	Name	Last modified	Size	Description
	Parent Directory		-
	proofgeneral-coq_3.7-4_all.deb	2010-10-17 16:05	71K
	proofgeneral-doc_3.7-4_all.deb	2010-10-17 16:05	88K
	proofgeneral-doc_4.2~pre120605-1_all.deb	2012-09-27 08:36	650K
	proofgeneral-doc_4.2~pre120605-2_all.deb	2013-04-24 16:42	651K
	proofgeneral-doc_4.3~pre130510-1.1_all.deb	2014-04-02 01:46	642K
	proofgeneral-doc_4.3~pre130510-1_all.deb	2013-09-23 21:56	660K
	proofgeneral-doc_4.3~pre131011-0.2_all.deb	2015-04-27 05:20	665K
	proofgeneral-minlog_3.7-4_all.deb	2010-10-17 16:05	20K
	proofgeneral-misc_3.7-4_all.deb	2010-10-17 16:05	139K
	proofgeneral_3.7-4.diff.gz	2010-10-15 15:09	24K
	proofgeneral_3.7-4.dsc	2010-10-15 15:09	1.7K
	proofgeneral_3.7-4_all.deb	2010-10-17 16:05	474K
	proofgeneral_3.7.orig.tar.gz	2008-05-03 05:19	1.9M
	proofgeneral_4.2~pre120605-1.debian.tar.gz	2012-09-26 09:49	19K
	proofgeneral_4.2~pre120605-1.dsc	2012-09-26 09:49	1.9K
	proofgeneral_4.2~pre120605-1_all.deb	2012-09-27 08:36	420K
	proofgeneral_4.2~pre120605-2.debian.tar.gz	2013-04-22 21:10	19K
	proofgeneral_4.2~pre120605-2.dsc	2013-04-22 21:10	1.9K
	proofgeneral_4.2~pre120605-2_all.deb	2013-04-24 16:42	422K
	proofgeneral_4.2~pre120605.orig.tar.gz	2012-09-26 09:49	1.0M
	proofgeneral_4.3~pre130510-1.1.debian.tar.xz	2015-01-04 17:29	19K
	proofgeneral_4.3~pre130510-1.1.dsc	2015-01-04 17:29	2.0K
	proofgeneral_4.3~pre130510-1.1_all.deb	2014-04-02 01:46	353K
	proofgeneral_4.3~pre130510-1_all.deb	2013-09-23 21:56	449K
	proofgeneral_4.3~pre130510.orig.tar.gz	2015-01-04 17:29	1.0M
	proofgeneral_4.3~pre131011-0.2.debian.tar.xz	2015-05-16 06:23	19K
	proofgeneral_4.3~pre131011-0.2.dsc	2015-05-16 06:23	1.9K
	proofgeneral_4.3~pre131011-0.2_all.deb	2015-04-27 05:21	356K
	proofgeneral_4.3~pre131011.orig.tar.xz	2015-05-16 06:23	11M