Index of /trisquel/pool/extras/m/minisat2

Icon  Name                        Last modified      Size  
[PARENTDIR] Parent Directory                                 -   
[   ] minisat2_070721.orig.tar.gz 2008-06-20 11:07   31K  
[   ] minisat2_070721-6.diff.gz   2008-11-05 14:06  7.4K  
[TXT] minisat2_070721-6.dsc       2008-11-05 14:06  964