Index of /gnewsense-parkes/gnewsense/pool/main/p/proofgeneral

      Name                                       Last modified      Size  Description
      Parent Directory                                                -   
      proofgeneral_3.7.orig.tar.gz               2008-03-18 23:47  1.9M  
      proofgeneral_4.2~pre120605.orig.tar.gz     2012-06-09 16:26  1.0M  
      proofgeneral-doc_4.2~pre120605-2_all.deb   2012-12-06 11:41  656K  
      proofgeneral_3.7-4_all.deb                 2010-10-11 21:48  471K  
      proofgeneral_4.2~pre120605-2_all.deb       2012-12-06 11:41  422K  
      proofgeneral-misc_3.7-4_all.deb            2010-10-11 21:48  139K  
      proofgeneral-doc_3.7-4_all.deb             2010-10-11 21:48   88K  
      proofgeneral-coq_3.7-4_all.deb             2010-10-11 21:48   71K  
      proofgeneral_3.7-4.diff.gz                 2010-10-11 21:48   24K  
      proofgeneral-minlog_3.7-4_all.deb          2010-10-11 21:48   20K  
      proofgeneral_4.2~pre120605-2.debian.tar.gz 2012-12-06 11:41   19K  
      proofgeneral_4.2~pre120605-2.dsc           2012-12-06 11:41  1.9K  
      proofgeneral_3.7-4.dsc                     2010-10-11 21:48  1.7K