Index of /pub/os/linux/debian-archive/debian/pool/main/p/proofgeneral/

Filename	Modification time	Size
proofgeneral-coq_3.5-3_all.deb	2005-04-30 19:56 CEST	43 KiB
proofgeneral-coq_3.5-4.1_all.deb	2006-12-19 19:47 CET	44 KiB
proofgeneral-coq_3.7-3_all.deb	2008-04-02 12:17 CEST	70 KiB
proofgeneral-coq_3.7-4_all.deb	2010-10-11 22:48 CEST	71 KiB
proofgeneral-doc_3.5-3_all.deb	2005-04-30 19:56 CEST	118 KiB
proofgeneral-doc_3.5-4.1_all.deb	2006-12-19 19:47 CET	119 KiB
proofgeneral-doc_3.7-3_all.deb	2008-04-02 12:17 CEST	88 KiB
proofgeneral-doc_3.7-4_all.deb	2010-10-11 22:48 CEST	88 KiB
proofgeneral-doc_4.2~pre120605-2_all.deb	2012-12-06 12:41 CET	656 KiB
proofgeneral-doc_4.3~pre131011-0.2_all.deb	2014-11-16 17:54 CET	671 KiB
proofgeneral-doc_4.4.1~pre170114-1_all.deb	2017-01-16 22:49 CET	666 KiB
proofgeneral-minlog_3.5-4.1_alpha.deb	2006-12-20 21:33 CET	17 KiB
proofgeneral-minlog_3.5-4.1_amd64.deb	2006-12-20 00:47 CET	17 KiB
proofgeneral-minlog_3.5-4.1_hppa.deb	2006-12-19 21:32 CET	17 KiB
proofgeneral-minlog_3.5-4.1_i386.deb	2006-12-19 19:47 CET	17 KiB
proofgeneral-minlog_3.5-4.1_mips.deb	2006-12-20 21:33 CET	17 KiB
proofgeneral-minlog_3.5-4.1_mipsel.deb	2006-12-20 21:33 CET	17 KiB
proofgeneral-minlog_3.5-4.1_powerpc.deb	2006-12-20 21:33 CET	17 KiB
proofgeneral-minlog_3.5-4.1_sparc.deb	2006-12-20 12:02 CET	17 KiB
proofgeneral-minlog_3.7-3_all.deb	2008-04-02 12:17 CEST	19 KiB
proofgeneral-minlog_3.7-4_all.deb	2010-10-11 22:48 CEST	20 KiB
proofgeneral-misc_3.5-3_all.deb	2005-04-30 19:56 CEST	146 KiB
proofgeneral-misc_3.5-4.1_all.deb	2006-12-19 19:47 CET	147 KiB
proofgeneral-misc_3.7-3_all.deb	2008-04-02 12:17 CEST	138 KiB
proofgeneral-misc_3.7-4_all.deb	2010-10-11 22:48 CEST	139 KiB
proofgeneral_3.5-3.diff.gz	2005-04-30 19:56 CEST	8207 B
proofgeneral_3.5-3.dsc	2004-08-20 15:02 CEST	645 B
proofgeneral_3.5-3_all.deb	2005-04-30 19:56 CEST	408 KiB
proofgeneral_3.5-4.1.diff.gz	2006-12-19 19:47 CET	20 KiB
proofgeneral_3.5-4.1.dsc	2006-12-19 19:47 CET	675 B
proofgeneral_3.5-4.1_all.deb	2006-12-19 19:47 CET	411 KiB
proofgeneral_3.5.orig.tar.gz	2004-08-20 14:32 CEST	1734 KiB
proofgeneral_3.7-3.diff.gz	2008-04-02 12:17 CEST	21 KiB
proofgeneral_3.7-3.dsc	2008-04-02 12:17 CEST	714 B
proofgeneral_3.7-3_all.deb	2008-04-02 12:17 CEST	472 KiB
proofgeneral_3.7-4.diff.gz	2010-10-11 22:48 CEST	24 KiB
proofgeneral_3.7-4.dsc	2010-10-11 22:48 CEST	1742 B
proofgeneral_3.7-4_all.deb	2010-10-11 22:48 CEST	471 KiB
proofgeneral_3.7.orig.tar.gz	2008-03-19 00:47 CET	1936 KiB
proofgeneral_4.2~pre120605-2.debian.tar.gz	2012-12-06 12:41 CET	19 KiB
proofgeneral_4.2~pre120605-2.dsc	2012-12-06 12:41 CET	1962 B
proofgeneral_4.2~pre120605-2_all.deb	2012-12-06 12:41 CET	422 KiB
proofgeneral_4.2~pre120605.orig.tar.gz	2012-06-09 17:26 CEST	996 KiB
proofgeneral_4.3~pre131011-0.2.debian.tar.xz	2014-11-16 17:54 CET	19 KiB
proofgeneral_4.3~pre131011-0.2.dsc	2014-11-16 17:54 CET	1975 B
proofgeneral_4.3~pre131011-0.2_all.deb	2014-11-16 17:54 CET	367 KiB
proofgeneral_4.3~pre131011.orig.tar.xz	2014-08-12 15:27 CEST	11 MiB
proofgeneral_4.4.1~pre170114-1.debian.tar.xz	2017-01-16 22:49 CET	19 KiB
proofgeneral_4.4.1~pre170114-1.dsc	2017-01-16 22:49 CET	1989 B
proofgeneral_4.4.1~pre170114-1_all.deb	2017-01-16 22:49 CET	589 KiB
proofgeneral_4.4.1~pre170114.orig.tar.xz	2017-01-16 22:49 CET	9082 KiB