Index of /mirror/GuadaLinex/guadalinex/pool/main/p/proofgeneral

Icon  Name                                       Last modified      Size  Description
[PARENTDIR] Parent Directory                                                -   
[   ] proofgeneral-coq_3.4-14_all.deb            2004-03-17 12:13   22K  
[   ] proofgeneral-doc_3.4-14_all.deb            2004-03-17 12:13  109K  
[   ] proofgeneral-misc_3.4-14_all.deb           2004-03-17 12:13  119K  
[   ] proofgeneral_3.4-14.diff.gz                2004-05-13 14:30  7.4K  
[TXT] proofgeneral_3.4-14.dsc                    2004-05-13 14:30  641   
[   ] proofgeneral_3.4-14_all.deb                2004-03-17 12:13  397K  
[   ] proofgeneral_3.4.orig.tar.gz               2004-05-13 14:30  741K