Index of /ubuntu/pool/universe/p/proofgeneral

	Name	Last modified	Size	Description
	Parent Directory		-
	proofgeneral-coq_3.5-3_all.deb	2004-10-27 00:55	43K
	proofgeneral-coq_3.5-6_all.deb	2007-10-29 09:03	44K
	proofgeneral-coq_3.7-3.1_all.deb	2009-11-07 19:04	71K
	proofgeneral-coq_3.7-3build1_all.deb	2008-08-06 19:13	70K
	proofgeneral-coq_3.7-4_all.deb	2010-10-17 15:05	71K
	proofgeneral-doc_3.5-3_all.deb	2004-10-27 00:55	118K
	proofgeneral-doc_3.5-6_all.deb	2007-10-29 09:03	119K
	proofgeneral-doc_3.7-3.1_all.deb	2009-11-07 19:04	88K
	proofgeneral-doc_3.7-3build1_all.deb	2008-08-06 19:13	88K
	proofgeneral-doc_3.7-4_all.deb	2010-10-17 15:05	88K
	proofgeneral-doc_4.2~pre120206-1_all.deb	2012-05-01 12:34	656K
	proofgeneral-doc_4.2~pre120411-2_all.deb	2012-05-07 13:34	650K
	proofgeneral-doc_4.2~pre120605-1_all.deb	2012-06-10 17:34	650K
	proofgeneral-doc_4.2~pre120605-2_all.deb	2012-12-06 17:33	651K
	proofgeneral-doc_4.3~pre130510-1.1_all.deb	2014-02-28 12:38	642K
	proofgeneral-doc_4.3~pre130510-1_all.deb	2013-05-18 18:03	660K
	proofgeneral-doc_4.3~pre131011-0.2_all.deb	2014-11-16 23:34	665K
	proofgeneral-doc_4.4.1~pre161230-0.1_all.deb	2016-12-31 23:18	656K
	proofgeneral-doc_4.4.1~pre170114-1.1_all.deb	2019-07-25 17:28	655K
	proofgeneral-doc_4.4.1~pre170114-1.1ubuntu1_all.deb	2019-10-01 21:53	655K
	proofgeneral-doc_4.4.1~pre170114-1.2_all.deb	2019-12-19 18:28	655K
	proofgeneral-doc_4.4.1~pre170114-1_all.deb	2017-01-17 05:23	656K
	proofgeneral-doc_4.5-1_all.deb	2023-08-17 17:49	667K
	proofgeneral-doc_4.5-3_all.deb	2024-11-27 23:56	646K
	proofgeneral-minlog_3.5-6_all.deb	2007-10-29 09:03	16K
	proofgeneral-minlog_3.7-3.1_all.deb	2009-11-07 19:04	20K
	proofgeneral-minlog_3.7-3build1_all.deb	2008-08-06 19:13	19K
	proofgeneral-minlog_3.7-4_all.deb	2010-10-17 15:05	20K
	proofgeneral-misc_3.5-3_all.deb	2004-10-27 00:55	146K
	proofgeneral-misc_3.5-6_all.deb	2007-10-29 09:03	147K
	proofgeneral-misc_3.7-3.1_all.deb	2009-11-07 19:04	139K
	proofgeneral-misc_3.7-3build1_all.deb	2008-08-06 19:13	138K
	proofgeneral-misc_3.7-4_all.deb	2010-10-17 15:05	139K
	proofgeneral_3.5-3.diff.gz	2004-10-25 21:16	8.0K
	proofgeneral_3.5-3.dsc	2004-10-25 21:16	645
	proofgeneral_3.5-3_all.deb	2004-10-27 00:55	408K
	proofgeneral_3.5-6.diff.gz	2007-10-24 00:04	17K
	proofgeneral_3.5-6.dsc	2007-10-24 00:04	671
	proofgeneral_3.5-6_all.deb	2007-10-29 09:03	409K
	proofgeneral_3.5.orig.tar.gz	2004-10-25 21:16	1.7M
	proofgeneral_3.7-3.1.diff.gz	2009-11-06 10:04	23K
	proofgeneral_3.7-3.1.dsc	2009-11-06 10:04	1.1K
	proofgeneral_3.7-3.1_all.deb	2009-11-07 19:04	473K
	proofgeneral_3.7-3build1.diff.gz	2008-08-06 19:13	21K
	proofgeneral_3.7-3build1.dsc	2008-08-06 19:13	1.1K
	proofgeneral_3.7-3build1_all.deb	2008-08-06 19:13	472K
	proofgeneral_3.7-4.diff.gz	2010-10-15 14:09	24K
	proofgeneral_3.7-4.dsc	2010-10-15 14:09	1.7K
	proofgeneral_3.7-4_all.deb	2010-10-17 15:05	474K
	proofgeneral_3.7.orig.tar.gz	2008-05-03 04:19	1.9M
	proofgeneral_4.2~pre120206-1.debian.tar.gz	2012-04-30 23:51	19K
	proofgeneral_4.2~pre120206-1.dsc	2012-04-30 23:51	1.9K
	proofgeneral_4.2~pre120206-1_all.deb	2012-05-01 12:34	420K
	proofgeneral_4.2~pre120206.orig.tar.gz	2012-04-30 23:51	931K
	proofgeneral_4.2~pre120411-2.debian.tar.gz	2012-05-07 13:34	18K
	proofgeneral_4.2~pre120411-2.dsc	2012-05-07 13:34	1.9K
	proofgeneral_4.2~pre120411-2_all.deb	2012-05-07 13:34	417K
	proofgeneral_4.2~pre120411.orig.tar.gz	2012-05-07 13:34	1.0M
	proofgeneral_4.2~pre120605-1.debian.tar.gz	2012-06-10 17:04	19K
	proofgeneral_4.2~pre120605-1.dsc	2012-06-10 17:04	1.9K
	proofgeneral_4.2~pre120605-1_all.deb	2012-06-10 17:34	420K
	proofgeneral_4.2~pre120605-2.debian.tar.gz	2012-12-06 17:33	19K
	proofgeneral_4.2~pre120605-2.dsc	2012-12-06 17:33	1.9K
	proofgeneral_4.2~pre120605-2_all.deb	2012-12-06 17:33	422K
	proofgeneral_4.2~pre120605.orig.tar.gz	2012-06-10 17:04	1.0M
	proofgeneral_4.3~pre130510-1.1.debian.tar.xz	2014-02-28 12:38	19K
	proofgeneral_4.3~pre130510-1.1.dsc	2014-02-28 12:38	2.0K
	proofgeneral_4.3~pre130510-1.1_all.deb	2014-02-28 12:38	353K
	proofgeneral_4.3~pre130510-1.debian.tar.gz	2013-05-18 17:33	20K
	proofgeneral_4.3~pre130510-1.dsc	2013-05-18 17:33	2.0K
	proofgeneral_4.3~pre130510-1_all.deb	2013-05-18 18:03	449K
	proofgeneral_4.3~pre130510.orig.tar.gz	2013-05-18 17:33	1.0M
	proofgeneral_4.3~pre131011-0.2.debian.tar.xz	2014-11-16 23:33	19K
	proofgeneral_4.3~pre131011-0.2.dsc	2014-11-16 23:33	1.9K
	proofgeneral_4.3~pre131011-0.2_all.deb	2014-11-16 23:34	356K
	proofgeneral_4.3~pre131011.orig.tar.xz	2014-10-25 12:32	11M
	proofgeneral_4.4.1~pre161230-0.1.debian.tar.xz	2016-12-31 23:13	19K
	proofgeneral_4.4.1~pre161230-0.1.dsc	2016-12-31 23:13	2.0K
	proofgeneral_4.4.1~pre161230-0.1_all.deb	2016-12-31 23:18	527K
	proofgeneral_4.4.1~pre161230.orig.tar.xz	2016-12-31 23:13	11M
	proofgeneral_4.4.1~pre170114-1.1.debian.tar.xz	2019-07-25 17:18	19K
	proofgeneral_4.4.1~pre170114-1.1.dsc	2019-07-25 17:18	1.9K
	proofgeneral_4.4.1~pre170114-1.1_all.deb	2019-07-25 17:28	530K
	proofgeneral_4.4.1~pre170114-1.1ubuntu1.debian.tar.xz	2019-10-01 21:53	19K
	proofgeneral_4.4.1~pre170114-1.1ubuntu1.dsc	2019-10-01 21:53	2.1K
	proofgeneral_4.4.1~pre170114-1.1ubuntu1_all.deb	2019-10-01 21:53	530K
	proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz	2019-12-19 17:58	19K
	proofgeneral_4.4.1~pre170114-1.2.dsc	2019-12-19 17:58	1.9K
	proofgeneral_4.4.1~pre170114-1.2_all.deb	2019-12-19 18:28	530K
	proofgeneral_4.4.1~pre170114-1.debian.tar.xz	2017-01-17 05:13	19K
	proofgeneral_4.4.1~pre170114-1.dsc	2017-01-17 05:13	1.9K
	proofgeneral_4.4.1~pre170114-1_all.deb	2017-01-17 05:23	530K
	proofgeneral_4.4.1~pre170114.orig.tar.xz	2017-01-17 05:13	8.9M
	proofgeneral_4.5-1.debian.tar.xz	2023-08-17 17:16	17K
	proofgeneral_4.5-1.dsc	2023-08-17 17:16	2.0K
	proofgeneral_4.5-1_all.deb	2023-08-17 17:49	577K
	proofgeneral_4.5-3.debian.tar.xz	2024-11-27 23:56	17K
	proofgeneral_4.5-3.dsc	2024-11-27 23:56	2.1K
	proofgeneral_4.5-3_all.deb	2024-11-27 23:56	576K
	proofgeneral_4.5.orig.tar.gz	2023-08-17 17:16	1.1M