Index of /ubuntu/pool/universe/p/proofgeneral/
../
proofgeneral-coq_3.5-6_all.deb 29-Oct-2007 17:03 44K
proofgeneral-coq_3.7-3.1_all.deb 08-Nov-2009 03:04 71K
proofgeneral-coq_3.7-3build1_all.deb 03-Jun-2011 15:40 70K
proofgeneral-coq_3.7-4_all.deb 17-Oct-2010 23:05 71K
proofgeneral-doc_3.5-6_all.deb 29-Oct-2007 17:03 119K
proofgeneral-doc_3.7-3.1_all.deb 08-Nov-2009 03:04 88K
proofgeneral-doc_3.7-3build1_all.deb 03-Jun-2011 15:40 88K
proofgeneral-doc_3.7-4_all.deb 17-Oct-2010 23:05 88K
proofgeneral-doc_4.2~pre120411-2_all.deb 07-May-2012 21:34 650K
proofgeneral-doc_4.2~pre120605-1_all.deb 11-Jun-2012 01:34 650K
proofgeneral-doc_4.2~pre120605-2_all.deb 07-Dec-2012 01:33 651K
proofgeneral-doc_4.3~pre130510-1.1_all.deb 28-Feb-2014 20:38 642K
proofgeneral-doc_4.3~pre131011-0.2_all.deb 17-Nov-2014 07:34 665K
proofgeneral-doc_4.4.1~pre170114-1.2_all.deb 20-Dec-2019 02:28 655K
proofgeneral-minlog_3.5-6_all.deb 29-Oct-2007 17:03 16K
proofgeneral-minlog_3.7-3.1_all.deb 08-Nov-2009 03:04 20K
proofgeneral-minlog_3.7-3build1_all.deb 03-Jun-2011 15:40 19K
proofgeneral-minlog_3.7-4_all.deb 17-Oct-2010 23:05 20K
proofgeneral-misc_3.5-6_all.deb 29-Oct-2007 17:03 147K
proofgeneral-misc_3.7-3.1_all.deb 08-Nov-2009 03:04 139K
proofgeneral-misc_3.7-3build1_all.deb 03-Jun-2011 15:40 138K
proofgeneral-misc_3.7-4_all.deb 17-Oct-2010 23:05 139K
proofgeneral_3.5-6.diff.gz 24-Oct-2007 08:04 17K
proofgeneral_3.5-6.dsc 24-Oct-2007 08:04 671
proofgeneral_3.5-6_all.deb 29-Oct-2007 17:03 409K
proofgeneral_3.5.orig.tar.gz 26-Oct-2004 05:16 2M
proofgeneral_3.7-3.1.diff.gz 06-Nov-2009 18:04 23K
proofgeneral_3.7-3.1.dsc 06-Nov-2009 18:04 1109
proofgeneral_3.7-3.1_all.deb 08-Nov-2009 03:04 473K
proofgeneral_3.7-3build1.diff.gz 03-Jun-2011 15:40 21K
proofgeneral_3.7-3build1.dsc 03-Jun-2011 15:40 1138
proofgeneral_3.7-3build1_all.deb 03-Jun-2011 15:40 472K
proofgeneral_3.7-4.diff.gz 15-Oct-2010 22:09 24K
proofgeneral_3.7-4.dsc 15-Oct-2010 22:09 1742
proofgeneral_3.7-4_all.deb 17-Oct-2010 23:05 474K
proofgeneral_3.7.orig.tar.gz 03-Jun-2011 15:40 2M
proofgeneral_4.2~pre120411-2.debian.tar.gz 07-May-2012 21:34 18K
proofgeneral_4.2~pre120411-2.dsc 07-May-2012 21:34 1962
proofgeneral_4.2~pre120411-2_all.deb 07-May-2012 21:34 417K
proofgeneral_4.2~pre120411.orig.tar.gz 07-May-2012 21:34 995K
proofgeneral_4.2~pre120605-1.debian.tar.gz 11-Jun-2012 01:04 19K
proofgeneral_4.2~pre120605-1.dsc 11-Jun-2012 01:04 1962
proofgeneral_4.2~pre120605-1_all.deb 11-Jun-2012 01:34 420K
proofgeneral_4.2~pre120605-2.debian.tar.gz 07-Dec-2012 01:33 19K
proofgeneral_4.2~pre120605-2.dsc 07-Dec-2012 01:33 1962
proofgeneral_4.2~pre120605-2_all.deb 07-Dec-2012 01:33 422K
proofgeneral_4.2~pre120605.orig.tar.gz 11-Jun-2012 01:04 996K
proofgeneral_4.3~pre130510-1.1.debian.tar.xz 28-Feb-2014 20:38 19K
proofgeneral_4.3~pre130510-1.1.dsc 28-Feb-2014 20:38 2016
proofgeneral_4.3~pre130510-1.1_all.deb 28-Feb-2014 20:38 353K
proofgeneral_4.3~pre130510.orig.tar.gz 19-May-2013 01:33 1023K
proofgeneral_4.3~pre131011-0.2.debian.tar.xz 17-Nov-2014 07:33 19K
proofgeneral_4.3~pre131011-0.2.dsc 17-Nov-2014 07:33 1975
proofgeneral_4.3~pre131011-0.2_all.deb 17-Nov-2014 07:34 356K
proofgeneral_4.3~pre131011.orig.tar.xz 25-Oct-2014 20:32 11M
proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz 20-Dec-2019 01:58 19K
proofgeneral_4.4.1~pre170114-1.2.dsc 20-Dec-2019 01:58 1983
proofgeneral_4.4.1~pre170114-1.2_all.deb 20-Dec-2019 02:28 530K
proofgeneral_4.4.1~pre170114.orig.tar.xz 17-Jan-2017 13:13 9M