Index of /gnewsense/pool/main/m/minisat2

      Name                           Last modified      Size  Description
      Parent Directory                                    -   
      minisat2_2.2.0-2.debian.tar.gz 2010-07-25 21:50  9.6K  
      minisat2_2.2.0-2.dsc           2010-07-25 21:50  1.1K  
      minisat2_2.2.0-2_amd64.deb     2010-07-25 21:50  107K  
      minisat2_2.2.0-2_i386.deb      2010-07-26 07:52  106K  
      minisat2_2.2.0-2_mipsel.deb    2010-07-26 10:21  110K  
      minisat2_2.2.0.orig.tar.gz     2010-07-25 08:02   43K  
      minisat2_2.2.1-3.debian.tar.gz 2011-09-04 00:34  8.4K  
      minisat2_2.2.1-3.dsc           2011-09-04 00:34  1.1K  
      minisat2_2.2.1-3_amd64.deb     2011-09-04 01:03  4.9K  
      minisat2_2.2.1-3_i386.deb      2011-09-04 00:34  4.9K  
      minisat2_2.2.1-3_mipsel.deb    2011-09-04 01:32  4.9K  
      minisat2_2.2.1.orig.tar.gz     2011-03-29 15:07   43K  
      minisat_2.2.1-3_amd64.deb      2011-09-04 01:03  127K  
      minisat_2.2.1-3_i386.deb       2011-09-04 00:34  126K  
      minisat_2.2.1-3_mipsel.deb     2011-09-04 01:32  132K