Index of /debian-archive/debian/pool/main/p/proofgeneral/
../
proofgeneral-coq_3.5-3_all.deb 01-May-2005 00:56 43K
proofgeneral-coq_3.5-4.1_all.deb 20-Dec-2006 01:47 44K
proofgeneral-coq_3.7-3_all.deb 02-Apr-2008 17:17 70K
proofgeneral-coq_3.7-4_all.deb 12-Oct-2010 03:48 71K
proofgeneral-doc_3.5-3_all.deb 01-May-2005 00:56 118K
proofgeneral-doc_3.5-4.1_all.deb 20-Dec-2006 01:47 119K
proofgeneral-doc_3.7-3_all.deb 02-Apr-2008 17:17 88K
proofgeneral-doc_3.7-4_all.deb 12-Oct-2010 03:48 88K
proofgeneral-doc_4.2~pre120605-2_all.deb 06-Dec-2012 18:41 656K
proofgeneral-doc_4.3~pre131011-0.2_all.deb 16-Nov-2014 23:54 671K
proofgeneral-doc_4.4.1~pre170114-1_all.deb 17-Jan-2017 04:49 666K
proofgeneral-minlog_3.5-4.1_alpha.deb 21-Dec-2006 03:33 17K
proofgeneral-minlog_3.5-4.1_amd64.deb 20-Dec-2006 06:47 17K
proofgeneral-minlog_3.5-4.1_hppa.deb 20-Dec-2006 03:32 17K
proofgeneral-minlog_3.5-4.1_i386.deb 20-Dec-2006 01:47 17K
proofgeneral-minlog_3.5-4.1_mips.deb 21-Dec-2006 03:33 17K
proofgeneral-minlog_3.5-4.1_mipsel.deb 21-Dec-2006 03:33 17K
proofgeneral-minlog_3.5-4.1_powerpc.deb 21-Dec-2006 03:33 17K
proofgeneral-minlog_3.5-4.1_sparc.deb 20-Dec-2006 18:02 17K
proofgeneral-minlog_3.7-3_all.deb 02-Apr-2008 17:17 19K
proofgeneral-minlog_3.7-4_all.deb 12-Oct-2010 03:48 20K
proofgeneral-misc_3.5-3_all.deb 01-May-2005 00:56 146K
proofgeneral-misc_3.5-4.1_all.deb 20-Dec-2006 01:47 147K
proofgeneral-misc_3.7-3_all.deb 02-Apr-2008 17:17 138K
proofgeneral-misc_3.7-4_all.deb 12-Oct-2010 03:48 139K
proofgeneral_3.5-3.diff.gz 01-May-2005 00:56 8207
proofgeneral_3.5-3.dsc 20-Aug-2004 20:02 645
proofgeneral_3.5-3_all.deb 01-May-2005 00:56 408K
proofgeneral_3.5-4.1.diff.gz 20-Dec-2006 01:47 20K
proofgeneral_3.5-4.1.dsc 20-Dec-2006 01:47 675
proofgeneral_3.5-4.1_all.deb 20-Dec-2006 01:47 411K
proofgeneral_3.5.orig.tar.gz 20-Aug-2004 19:32 2M
proofgeneral_3.7-3.diff.gz 02-Apr-2008 17:17 21K
proofgeneral_3.7-3.dsc 02-Apr-2008 17:17 714
proofgeneral_3.7-3_all.deb 02-Apr-2008 17:17 472K
proofgeneral_3.7-4.diff.gz 12-Oct-2010 03:48 24K
proofgeneral_3.7-4.dsc 12-Oct-2010 03:48 1742
proofgeneral_3.7-4_all.deb 12-Oct-2010 03:48 471K
proofgeneral_3.7.orig.tar.gz 19-Mar-2008 06:47 2M
proofgeneral_4.2~pre120605-2.debian.tar.gz 06-Dec-2012 18:41 19K
proofgeneral_4.2~pre120605-2.dsc 06-Dec-2012 18:41 1962
proofgeneral_4.2~pre120605-2_all.deb 06-Dec-2012 18:41 422K
proofgeneral_4.2~pre120605.orig.tar.gz 09-Jun-2012 22:26 996K
proofgeneral_4.3~pre131011-0.2.debian.tar.xz 16-Nov-2014 23:54 19K
proofgeneral_4.3~pre131011-0.2.dsc 16-Nov-2014 23:54 1975
proofgeneral_4.3~pre131011-0.2_all.deb 16-Nov-2014 23:54 367K
proofgeneral_4.3~pre131011.orig.tar.xz 12-Aug-2014 20:27 11M
proofgeneral_4.4.1~pre170114-1.debian.tar.xz 17-Jan-2017 04:49 19K
proofgeneral_4.4.1~pre170114-1.dsc 17-Jan-2017 04:49 1989
proofgeneral_4.4.1~pre170114-1_all.deb 17-Jan-2017 04:49 589K
proofgeneral_4.4.1~pre170114.orig.tar.xz 17-Jan-2017 04:49 9M