Index of /trisquel/pool/extras/p/proofgeneral

Icon  Name                             Last modified      Size  
[PARENTDIR] Parent Directory                                      -   
[   ] proofgeneral_3.5-6.diff.gz       2007-10-24 00:04   17K  
[TXT] proofgeneral_3.5-6.dsc           2007-10-24 00:04  671   
[   ] proofgeneral_3.5.orig.tar.gz     2004-10-25 21:16  1.7M  
[   ] proofgeneral_3.7-3build1.diff.gz 2008-08-06 19:13   21K  
[TXT] proofgeneral_3.7-3build1.dsc     2008-08-06 19:13  1.1K  
[   ] proofgeneral_3.7.orig.tar.gz     2008-05-03 04:19  1.9M