Index of /debian-archive/debian/pool/main/p/proofgeneral/
../
proofgeneral-coq_3.5-3_all.deb 30-Apr-2005 18:56 44040
proofgeneral-coq_3.5-4.1_all.deb 19-Dec-2006 19:47 44672
proofgeneral-coq_3.7-3_all.deb 02-Apr-2008 11:17 71722
proofgeneral-coq_3.7-4_all.deb 11-Oct-2010 21:48 72482
proofgeneral-doc_3.5-3_all.deb 30-Apr-2005 18:56 120940
proofgeneral-doc_3.5-4.1_all.deb 19-Dec-2006 19:47 121478
proofgeneral-doc_3.7-3_all.deb 02-Apr-2008 11:17 90102
proofgeneral-doc_3.7-4_all.deb 11-Oct-2010 21:48 90200
proofgeneral-doc_4.2~pre120605-2_all.deb 06-Dec-2012 12:41 671274
proofgeneral-doc_4.3~pre131011-0.2_all.deb 16-Nov-2014 17:54 687198
proofgeneral-doc_4.4.1~pre170114-1_all.deb 16-Jan-2017 22:49 682170
proofgeneral-minlog_3.5-4.1_alpha.deb 20-Dec-2006 21:33 17104
proofgeneral-minlog_3.5-4.1_amd64.deb 20-Dec-2006 00:47 17004
proofgeneral-minlog_3.5-4.1_hppa.deb 19-Dec-2006 21:32 17202
proofgeneral-minlog_3.5-4.1_i386.deb 19-Dec-2006 19:47 16996
proofgeneral-minlog_3.5-4.1_mips.deb 20-Dec-2006 21:33 17088
proofgeneral-minlog_3.5-4.1_mipsel.deb 20-Dec-2006 21:33 17088
proofgeneral-minlog_3.5-4.1_powerpc.deb 20-Dec-2006 21:33 16980
proofgeneral-minlog_3.5-4.1_sparc.deb 20-Dec-2006 12:02 16922
proofgeneral-minlog_3.7-3_all.deb 02-Apr-2008 11:17 19598
proofgeneral-minlog_3.7-4_all.deb 11-Oct-2010 21:48 20122
proofgeneral-misc_3.5-3_all.deb 30-Apr-2005 18:56 149776
proofgeneral-misc_3.5-4.1_all.deb 19-Dec-2006 19:47 150294
proofgeneral-misc_3.7-3_all.deb 02-Apr-2008 11:17 141588
proofgeneral-misc_3.7-4_all.deb 11-Oct-2010 21:48 142188
proofgeneral_3.5-3.diff.gz 30-Apr-2005 18:56 8207
proofgeneral_3.5-3.dsc 20-Aug-2004 14:02 645
proofgeneral_3.5-3_all.deb 30-Apr-2005 18:56 417866
proofgeneral_3.5-4.1.diff.gz 19-Dec-2006 19:47 20067
proofgeneral_3.5-4.1.dsc 19-Dec-2006 19:47 675
proofgeneral_3.5-4.1_all.deb 19-Dec-2006 19:47 421216
proofgeneral_3.5.orig.tar.gz 20-Aug-2004 13:32 1775841
proofgeneral_3.7-3.diff.gz 02-Apr-2008 11:17 21422
proofgeneral_3.7-3.dsc 02-Apr-2008 11:17 714
proofgeneral_3.7-3_all.deb 02-Apr-2008 11:17 483224
proofgeneral_3.7-4.diff.gz 11-Oct-2010 21:48 24613
proofgeneral_3.7-4.dsc 11-Oct-2010 21:48 1742
proofgeneral_3.7-4_all.deb 11-Oct-2010 21:48 482392
proofgeneral_3.7.orig.tar.gz 19-Mar-2008 00:47 1982146
proofgeneral_4.2~pre120605-2.debian.tar.gz 06-Dec-2012 12:41 19826
proofgeneral_4.2~pre120605-2.dsc 06-Dec-2012 12:41 1962
proofgeneral_4.2~pre120605-2_all.deb 06-Dec-2012 12:41 432172
proofgeneral_4.2~pre120605.orig.tar.gz 09-Jun-2012 16:26 1020306
proofgeneral_4.3~pre131011-0.2.debian.tar.xz 16-Nov-2014 17:54 19412
proofgeneral_4.3~pre131011-0.2.dsc 16-Nov-2014 17:54 1975
proofgeneral_4.3~pre131011-0.2_all.deb 16-Nov-2014 17:54 375316
proofgeneral_4.3~pre131011.orig.tar.xz 12-Aug-2014 14:27 11592524
proofgeneral_4.4.1~pre170114-1.debian.tar.xz 16-Jan-2017 22:49 19736
proofgeneral_4.4.1~pre170114-1.dsc 16-Jan-2017 22:49 1989
proofgeneral_4.4.1~pre170114-1_all.deb 16-Jan-2017 22:49 603216
proofgeneral_4.4.1~pre170114.orig.tar.xz 16-Jan-2017 22:49 9299752