Index of /trisquel/pool/extras/p/prover9-manual

Icon  Name                                   Last modified      Size  
[PARENTDIR] Parent Directory                                            -   
[   ] prover9-manual_0.0.200809a-1.diff.gz   2008-11-05 14:05  3.9K  
[TXT] prover9-manual_0.0.200809a-1.dsc       2008-11-05 14:05  1.2K  
[   ] prover9-manual_0.0.200809a.orig.tar.gz 2008-11-05 14:05  854K