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