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

 Name                                       Last modified      Size  Description
 Parent Directory                                                -   
 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-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-4_all.deb             17-Oct-2010 23:05   88K  
 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-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-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-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  1.7M  
 proofgeneral_3.7-3.1.diff.gz               06-Nov-2009 18:04   23K  
 proofgeneral_3.7-3.1.dsc                   06-Nov-2009 18:04  1.1K  
 proofgeneral_3.7-3.1_all.deb               08-Nov-2009 03:04  473K  
 proofgeneral_3.7-4.diff.gz                 15-Oct-2010 22:09   24K  
 proofgeneral_3.7-4.dsc                     15-Oct-2010 22:09  1.7K  
 proofgeneral_3.7-4_all.deb                 17-Oct-2010 23:05  474K  
 proofgeneral_3.7.orig.tar.gz               03-May-2008 12:19  1.9M  
 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  1.9K  
 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  1.9K  
 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  1.0M