Index of /ubuntu/pool/universe/m/minisat2

      Name                           Last modified      Size  Description
      Parent Directory                                    -   
      minisat2_070721-8.diff.gz      18-Jan-2010 17:05  8.1K  
      minisat2_070721-8.dsc          18-Jan-2010 17:05  1.0K  
      minisat2_070721-8_amd64.deb    19-Jan-2010 01:05   95K  
      minisat2_070721-8_i386.deb     18-Jan-2010 22:05   93K  
      minisat2_070721.orig.tar.gz    20-Jun-2008 20:07   31K  
      minisat2_2.2.0-2.debian.tar.gz 15-Oct-2010 22:06  9.6K  
      minisat2_2.2.0-2.dsc           15-Oct-2010 22:06  1.1K  
      minisat2_2.2.0-2_amd64.deb     17-Oct-2010 17:05  105K  
      minisat2_2.2.0-2_i386.deb      17-Oct-2010 19:05  103K  
      minisat2_2.2.0.orig.tar.gz     15-Oct-2010 22:06   43K  
      minisat2_2.2.1-2.debian.tar.gz 14-Jun-2011 20:05  8.2K  
      minisat2_2.2.1-2.dsc           14-Jun-2011 20:05  1.1K  
      minisat2_2.2.1-2_amd64.deb     14-Jun-2011 22:05  1.9K  
      minisat2_2.2.1-2_i386.deb      14-Jun-2011 21:05  1.9K  
      minisat2_2.2.1-3.debian.tar.gz 17-Oct-2011 22:05  8.4K  
      minisat2_2.2.1-3.dsc           17-Oct-2011 22:05  1.1K  
      minisat2_2.2.1-3_amd64.deb     18-Oct-2011 12:03  1.8K  
      minisat2_2.2.1-3_i386.deb      18-Oct-2011 11:05  1.8K  
      minisat2_2.2.1.orig.tar.gz     01-May-2011 02:05   43K  
      minisat_2.2.1-2_amd64.deb      14-Jun-2011 22:05  123K  
      minisat_2.2.1-2_i386.deb       14-Jun-2011 21:05  123K  
      minisat_2.2.1-3_amd64.deb      18-Oct-2011 12:03  124K  
      minisat_2.2.1-3_i386.deb       18-Oct-2011 11:05  124K