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

../
proofgeneral-coq_3.5-6_all.deb                     29-Oct-2007 09:03               44846
proofgeneral-coq_3.7-3.1_all.deb                   07-Nov-2009 19:04               72300
proofgeneral-coq_3.7-4_all.deb                     17-Oct-2010 15:05               72368
proofgeneral-doc_3.5-6_all.deb                     29-Oct-2007 09:03              121678
proofgeneral-doc_3.7-3.1_all.deb                   07-Nov-2009 19:04               90406
proofgeneral-doc_3.7-4_all.deb                     17-Oct-2010 15:05               90466
proofgeneral-doc_4.2~pre120605-1_all.deb           10-Jun-2012 17:34              665358
proofgeneral-doc_4.2~pre120605-2_all.deb           06-Dec-2012 17:33              666778
proofgeneral-minlog_3.5-6_all.deb                  29-Oct-2007 09:03               16394
proofgeneral-minlog_3.7-3.1_all.deb                07-Nov-2009 19:04               20134
proofgeneral-minlog_3.7-4_all.deb                  17-Oct-2010 15:05               20200
proofgeneral-misc_3.5-6_all.deb                    29-Oct-2007 09:03              150484
proofgeneral-misc_3.7-3.1_all.deb                  07-Nov-2009 19:04              142114
proofgeneral-misc_3.7-4_all.deb                    17-Oct-2010 15:05              142178
proofgeneral_3.5-6.diff.gz                         24-Oct-2007 00:04               17558
proofgeneral_3.5-6.dsc                             24-Oct-2007 00:04                 671
proofgeneral_3.5-6_all.deb                         29-Oct-2007 09:03              418786
proofgeneral_3.5.orig.tar.gz                       25-Oct-2004 21:16             1775841
proofgeneral_3.7-3.1.diff.gz                       06-Nov-2009 10:04               23726
proofgeneral_3.7-3.1.dsc                           06-Nov-2009 10:04                1109
proofgeneral_3.7-3.1_all.deb                       07-Nov-2009 19:04              484644
proofgeneral_3.7-4.diff.gz                         15-Oct-2010 14:09               24613
proofgeneral_3.7-4.dsc                             15-Oct-2010 14:09                1742
proofgeneral_3.7-4_all.deb                         17-Oct-2010 15:05              484910
proofgeneral_3.7.orig.tar.gz                       03-May-2008 04:19             1982146
proofgeneral_4.2~pre120605-1.debian.tar.gz         10-Jun-2012 17:04               19936
proofgeneral_4.2~pre120605-1.dsc                   10-Jun-2012 17:04                1962
proofgeneral_4.2~pre120605-1_all.deb               10-Jun-2012 17:34              430356
proofgeneral_4.2~pre120605-2.debian.tar.gz         06-Dec-2012 17:33               19826
proofgeneral_4.2~pre120605-2.dsc                   06-Dec-2012 17:33                1962
proofgeneral_4.2~pre120605-2_all.deb               06-Dec-2012 17:33              432040
proofgeneral_4.2~pre120605.orig.tar.gz             10-Jun-2012 17:04             1020306