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

 Name                                          Last modified      Size  Description
 Parent Directory                                                   -   
 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.dsc                        2004-08-20 14:02  645   
 proofgeneral_3.5-3_all.deb                    2005-04-30 18:56  408K  
 proofgeneral_3.5.orig.tar.gz                  2004-08-20 13:32  1.7M