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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 proofgeneral_3.5.ori..> 20-Aug-2004 12:32  1.7M  
 proofgeneral_3.5-3_a..> 30-Apr-2005 17:56  408K  
 proofgeneral_3.5-3.dsc  20-Aug-2004 13:02  645   
 proofgeneral_3.5-3.d..> 30-Apr-2005 17:56  8.0K  
 proofgeneral-misc_3...> 30-Apr-2005 17:56  146K  
 proofgeneral-doc_3.5..> 30-Apr-2005 17:56  118K  
 proofgeneral-coq_3.5..> 30-Apr-2005 17:56   43K