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

      Name                         Last modified      Size  Description
      Parent Directory                                  -   
      minisat+_1.0-2.debian.tar.gz 2011-05-25 02:50  3.9K  
      minisat+_1.0-2.dsc           2011-05-25 02:50  1.2K  
      minisat+_1.0-2_amd64.deb     2011-05-25 02:50  176K  
      minisat+_1.0-2_i386.deb      2011-05-25 08:49  170K  
      minisat+_1.0-2_mipsel.deb    2011-05-27 22:10  166K  
      minisat+_1.0.orig.tar.gz     2011-05-14 13:02   78K