Index of /ubuntu/pool/universe/p/proofgeneral/

../
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-4_all.deb                     17-Oct-2010 15:05     71K
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-4_all.deb                     17-Oct-2010 15:05     88K
proofgeneral-doc_4.2~pre120411-2_all.deb           07-May-2012 13:34    650K
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-4_all.deb                  17-Oct-2010 15:05     20K
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-4_all.deb                    17-Oct-2010 15:05    139K
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-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~pre120411-2.debian.tar.gz         07-May-2012 13:34     18K
proofgeneral_4.2~pre120411-2.dsc                   07-May-2012 13:34    1962
proofgeneral_4.2~pre120411-2_all.deb               07-May-2012 13:34    417K
proofgeneral_4.2~pre120411.orig.tar.gz             07-May-2012 13:34    995K