Index of /ubuntu-old/pool/universe/p/proofgeneral/
../
proofgeneral-coq_3.4-14_all.deb 29-Jul-2004 01:10 22K
proofgeneral-coq_3.5-3_all.deb 27-Oct-2004 00:55 43K
proofgeneral-coq_3.5-4.1_all.deb 20-Dec-2006 20:04 44K
proofgeneral-coq_3.5-6_all.deb 29-Oct-2007 09:03 44K
proofgeneral-coq_3.7-3.1_all.deb 07-Nov-2009 19:04 71K
proofgeneral-coq_3.7-3build1_all.deb 06-Aug-2008 19:13 70K
proofgeneral-coq_3.7-4_all.deb 17-Oct-2010 15:05 71K
proofgeneral-doc_3.4-14_all.deb 29-Jul-2004 01:10 109K
proofgeneral-doc_3.5-3_all.deb 27-Oct-2004 00:55 118K
proofgeneral-doc_3.5-4.1_all.deb 20-Dec-2006 20:04 119K
proofgeneral-doc_3.5-6_all.deb 29-Oct-2007 09:03 119K
proofgeneral-doc_3.7-3.1_all.deb 07-Nov-2009 19:04 88K
proofgeneral-doc_3.7-3build1_all.deb 06-Aug-2008 19:13 88K
proofgeneral-doc_3.7-4_all.deb 17-Oct-2010 15:05 88K
proofgeneral-doc_4.2~pre120605-1_all.deb 10-Jun-2012 17:34 650K
proofgeneral-doc_4.2~pre120605-2_all.deb 06-Dec-2012 17:33 651K
proofgeneral-doc_4.3~pre130510-1.1_all.deb 28-Feb-2014 12:38 642K
proofgeneral-doc_4.3~pre130510-1_all.deb 18-May-2013 18:03 660K
proofgeneral-minlog_3.5-4.1_i386.deb 20-Dec-2006 20:04 17K
proofgeneral-minlog_3.5-6_all.deb 29-Oct-2007 09:03 16K
proofgeneral-minlog_3.7-3.1_all.deb 07-Nov-2009 19:04 20K
proofgeneral-minlog_3.7-3build1_all.deb 06-Aug-2008 19:13 19K
proofgeneral-minlog_3.7-4_all.deb 17-Oct-2010 15:05 20K
proofgeneral-misc_3.4-14_all.deb 29-Jul-2004 01:10 119K
proofgeneral-misc_3.5-3_all.deb 27-Oct-2004 00:55 146K
proofgeneral-misc_3.5-4.1_all.deb 20-Dec-2006 20:04 147K
proofgeneral-misc_3.5-6_all.deb 29-Oct-2007 09:03 147K
proofgeneral-misc_3.7-3.1_all.deb 07-Nov-2009 19:04 139K
proofgeneral-misc_3.7-3build1_all.deb 06-Aug-2008 19:13 138K
proofgeneral-misc_3.7-4_all.deb 17-Oct-2010 15:05 139K
proofgeneral_3.4-14.diff.gz 26-Jul-2004 23:36 7571
proofgeneral_3.4-14.dsc 26-Jul-2004 23:36 641
proofgeneral_3.4-14_all.deb 29-Jul-2004 01:10 397K
proofgeneral_3.4.orig.tar.gz 26-Jul-2004 23:36 741K
proofgeneral_3.5-3.diff.gz 25-Oct-2004 21:16 8207
proofgeneral_3.5-3.dsc 25-Oct-2004 21:16 645
proofgeneral_3.5-3_all.deb 27-Oct-2004 00:55 408K
proofgeneral_3.5-4.1.diff.gz 20-Dec-2006 14:04 20K
proofgeneral_3.5-4.1.dsc 20-Dec-2006 14:04 675
proofgeneral_3.5-4.1_all.deb 20-Dec-2006 20:04 411K
proofgeneral_3.5-6.diff.gz 24-Oct-2007 00:04 17K
proofgeneral_3.5-6.dsc 24-Oct-2007 00:04 671
proofgeneral_3.5-6_all.deb 29-Oct-2007 09:03 409K
proofgeneral_3.5.orig.tar.gz 25-Oct-2004 21:16 2M
proofgeneral_3.7-3.1.diff.gz 06-Nov-2009 10:04 23K
proofgeneral_3.7-3.1.dsc 06-Nov-2009 10:04 1109
proofgeneral_3.7-3.1_all.deb 07-Nov-2009 19:04 473K
proofgeneral_3.7-3build1.diff.gz 06-Aug-2008 19:13 21K
proofgeneral_3.7-3build1.dsc 06-Aug-2008 19:13 1138
proofgeneral_3.7-3build1_all.deb 06-Aug-2008 19:13 472K
proofgeneral_3.7-4.diff.gz 15-Oct-2010 14:09 24K
proofgeneral_3.7-4.dsc 15-Oct-2010 14:09 1742
proofgeneral_3.7-4_all.deb 17-Oct-2010 15:05 474K
proofgeneral_3.7.orig.tar.gz 03-May-2008 04:19 2M
proofgeneral_4.2~pre120605-1.debian.tar.gz 10-Jun-2012 17:04 19K
proofgeneral_4.2~pre120605-1.dsc 10-Jun-2012 17:04 1962
proofgeneral_4.2~pre120605-1_all.deb 10-Jun-2012 17:34 420K
proofgeneral_4.2~pre120605-2.debian.tar.gz 06-Dec-2012 17:33 19K
proofgeneral_4.2~pre120605-2.dsc 06-Dec-2012 17:33 1962
proofgeneral_4.2~pre120605-2_all.deb 06-Dec-2012 17:33 422K
proofgeneral_4.2~pre120605.orig.tar.gz 10-Jun-2012 17:04 996K
proofgeneral_4.3~pre130510-1.1.debian.tar.xz 28-Feb-2014 12:38 19K
proofgeneral_4.3~pre130510-1.1.dsc 28-Feb-2014 12:38 2016
proofgeneral_4.3~pre130510-1.1_all.deb 28-Feb-2014 12:38 353K
proofgeneral_4.3~pre130510-1.debian.tar.gz 18-May-2013 17:33 20K
proofgeneral_4.3~pre130510-1.dsc 18-May-2013 17:33 2009
proofgeneral_4.3~pre130510-1_all.deb 18-May-2013 18:03 449K
proofgeneral_4.3~pre130510.orig.tar.gz 18-May-2013 17:33 1023K