Index of /debian-archive/debian-amd64/pool/main/p/proofgeneral

 Name                                      Last modified      Size  Description
 Parent Directory                                               -   
 proofgeneral_3.5.orig.tar.gz              2004-08-20 13:32  1.7M  
 proofgeneral_3.5-3.dsc                    2004-08-20 14:02  645   
 proofgeneral-coq_3.5-3_all.deb            2005-04-30 18:56   43K  
 proofgeneral-doc_3.5-3_all.deb            2005-04-30 18:56  118K  
 proofgeneral-misc_3.5-3_all.deb           2005-04-30 18:56  146K  
 proofgeneral_3.5-3.diff.gz                2005-04-30 18:56  8.0K  
 proofgeneral_3.5-3_all.deb                2005-04-30 18:56  408K