Index of /pub/gnewsense/gnewsense-three/gnewsense/pool/main/p/proofgeneral

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