Index of /trisquel/pool/main/m/minisat+

 Name                         Last modified      Size  
 Parent Directory                                  -   
 minisat+_1.0-2.debian.tar.gz 2011-11-12 09:20  3.9K  
 minisat+_1.0-2.dsc           2011-11-12 09:20  1.2K  
 minisat+_1.0-2_amd64.deb     2011-11-12 12:12  176K  
 minisat+_1.0-2_i386.deb      2011-11-12 12:16  168K  
 minisat+_1.0.orig.tar.gz     2011-11-12 09:20   78K