Index of /ubuntu/7.04/pool/universe/p/proofgeneral

 Name                                    Last modified      Size  Description
 Parent Directory                                             -   
 proofgeneral-coq_3.5-4.1_all.deb        2006-12-20 15:04   44K  
 proofgeneral-doc_3.5-4.1_all.deb        2006-12-20 15:04  119K  
 proofgeneral-minlog_3.5-4.1_amd64.deb   2006-12-20 15:04   17K  
 proofgeneral-minlog_3.5-4.1_i386.deb    2006-12-20 15:04   17K  
 proofgeneral-minlog_3.5-4.1_powerpc.deb 2006-12-20 15:04   17K  
 proofgeneral-minlog_3.5-4.1_sparc.deb   2006-12-20 15:04   17K  
 proofgeneral-misc_3.5-4.1_all.deb       2006-12-20 15:04  147K  
 proofgeneral_3.5-4.1.diff.gz            2006-12-20 09:04   20K  
 proofgeneral_3.5-4.1.dsc                2006-12-20 09:04  675   
 proofgeneral_3.5-4.1_all.deb            2006-12-20 15:04  411K  
 proofgeneral_3.5.orig.tar.gz            2004-10-25 17:16  1.7M