Index of /debian/pool/main/p/proofgeneral

 Name                                       Last modified      Size  Description
 Parent Directory                                                -   
 proofgeneral_4.2~pre120206.orig.tar.gz     29-Feb-2012 05:11  931K  
 proofgeneral_4.2~pre120206-1_all.deb       29-Feb-2012 05:11  420K  
 proofgeneral_4.2~pre120206-1.dsc           29-Feb-2012 05:11  1.9K  
 proofgeneral_4.2~pre120206-1.debian.tar.gz 29-Feb-2012 05:11   19K  
 proofgeneral_4.2~pre120112.orig.tar.gz     13-Jan-2012 16:54  920K  
 proofgeneral_4.2~pre120112-1_all.deb       13-Jan-2012 16:54  436K  
 proofgeneral_4.2~pre120112-1.dsc           13-Jan-2012 16:54  1.9K  
 proofgeneral_4.2~pre120112-1.debian.tar.gz 13-Jan-2012 16:54   18K  
 proofgeneral_3.7.orig.tar.gz               19-Mar-2008 07:47  1.9M  
 proofgeneral_3.7-4_all.deb                 12-Oct-2010 04:48  471K  
 proofgeneral_3.7-4.dsc                     12-Oct-2010 04:48  1.7K  
 proofgeneral_3.7-4.diff.gz                 12-Oct-2010 04:48   24K  
 proofgeneral_3.7-3_all.deb                 02-Apr-2008 18:17  472K  
 proofgeneral_3.7-3.dsc                     02-Apr-2008 18:17  714   
 proofgeneral_3.7-3.diff.gz                 02-Apr-2008 18:17   21K  
 proofgeneral-misc_3.7-4_all.deb            12-Oct-2010 04:48  139K  
 proofgeneral-misc_3.7-3_all.deb            02-Apr-2008 18:17  138K  
 proofgeneral-minlog_3.7-4_all.deb          12-Oct-2010 04:48   20K  
 proofgeneral-minlog_3.7-3_all.deb          02-Apr-2008 18:17   19K  
 proofgeneral-doc_4.2~pre120206-1_all.deb   29-Feb-2012 05:11  660K  
 proofgeneral-doc_4.2~pre120112-1_all.deb   13-Jan-2012 16:54  660K  
 proofgeneral-doc_3.7-4_all.deb             12-Oct-2010 04:48   88K  
 proofgeneral-doc_3.7-3_all.deb             02-Apr-2008 18:17   88K  
 proofgeneral-coq_3.7-4_all.deb             12-Oct-2010 04:48   71K  
 proofgeneral-coq_3.7-3_all.deb             02-Apr-2008 18:17   70K