Index of /ubuntu/pool/universe/p/proofgeneral
Name Last modified Size Description
Parent Directory -
proofgeneral-coq_3.5-6_all.deb 29-Oct-2007 18:03 44K
proofgeneral-coq_3.7-3.1_all.deb 08-Nov-2009 04:04 71K
proofgeneral-coq_3.7-4_all.deb 18-Oct-2010 00:05 71K
proofgeneral-doc_3.5-6_all.deb 29-Oct-2007 18:03 119K
proofgeneral-doc_3.7-3.1_all.deb 08-Nov-2009 04:04 88K
proofgeneral-doc_3.7-4_all.deb 18-Oct-2010 00:05 88K
proofgeneral-doc_4.2~pre120411-2_all.deb 07-May-2012 22:34 650K
proofgeneral-minlog_3.5-6_all.deb 29-Oct-2007 18:03 16K
proofgeneral-minlog_3.7-3.1_all.deb 08-Nov-2009 04:04 20K
proofgeneral-minlog_3.7-4_all.deb 18-Oct-2010 00:05 20K
proofgeneral-misc_3.5-6_all.deb 29-Oct-2007 18:03 147K
proofgeneral-misc_3.7-3.1_all.deb 08-Nov-2009 04:04 139K
proofgeneral-misc_3.7-4_all.deb 18-Oct-2010 00:05 139K
proofgeneral_3.5-6.diff.gz 24-Oct-2007 09:04 17K
proofgeneral_3.5-6.dsc 24-Oct-2007 09:04 671
proofgeneral_3.5-6_all.deb 29-Oct-2007 18:03 409K
proofgeneral_3.5.orig.tar.gz 26-Oct-2004 06:16 1.7M
proofgeneral_3.7-3.1.diff.gz 06-Nov-2009 19:04 23K
proofgeneral_3.7-3.1.dsc 06-Nov-2009 19:04 1.1K
proofgeneral_3.7-3.1_all.deb 08-Nov-2009 04:04 473K
proofgeneral_3.7-4.diff.gz 15-Oct-2010 23:09 24K
proofgeneral_3.7-4.dsc 15-Oct-2010 23:09 1.7K
proofgeneral_3.7-4_all.deb 18-Oct-2010 00:05 474K
proofgeneral_3.7.orig.tar.gz 03-May-2008 13:19 1.9M
proofgeneral_4.2~pre120411-2.debian.tar.gz 07-May-2012 22:34 18K
proofgeneral_4.2~pre120411-2.dsc 07-May-2012 22:34 1.9K
proofgeneral_4.2~pre120411-2_all.deb 07-May-2012 22:34 417K
proofgeneral_4.2~pre120411.orig.tar.gz 07-May-2012 22:34 1.0M