Index of /debian/pool/main/m/minisat2

 Name                           Last modified      Size  Description
 Parent Directory                                    -   
 minisat2_070721-5.diff.gz      2008-09-07 21:17  7.1K  
 minisat2_070721-5.dsc          2008-09-07 21:17  964   
 minisat2_070721-5_amd64.deb    2008-09-08 08:32   42K  
 minisat2_070721-5_i386.deb     2008-09-10 20:47   40K  
 minisat2_070721.orig.tar.gz    2008-06-08 11:02   31K  
 minisat2_2.2.0-2.debian.tar.gz 2010-07-25 22:50  9.6K  
 minisat2_2.2.0-2.dsc           2010-07-25 22:50  1.1K  
 minisat2_2.2.0-2_amd64.deb     2010-07-25 22:50  107K  
 minisat2_2.2.0-2_i386.deb      2010-07-26 08:52  106K  
 minisat2_2.2.0.orig.tar.gz     2010-07-25 09:02   43K  
 minisat2_2.2.1-3.debian.tar.gz 2011-09-04 01:34  8.4K  
 minisat2_2.2.1-3.dsc           2011-09-04 01:34  1.1K  
 minisat2_2.2.1-3_amd64.deb     2011-09-04 02:03  4.9K  
 minisat2_2.2.1-3_i386.deb      2011-09-04 01:34  4.9K  
 minisat2_2.2.1-5+b3_amd64.deb  2017-03-07 12:27  5.1K  
 minisat2_2.2.1-5+b3_i386.deb   2017-03-07 12:27  5.1K  
 minisat2_2.2.1-5.debian.tar.xz 2014-07-30 12:01  9.1K  
 minisat2_2.2.1-5.dsc           2014-07-30 12:01  1.8K  
 minisat2_2.2.1-5_amd64.deb     2014-07-30 12:27  4.9K  
 minisat2_2.2.1-5_i386.deb      2014-07-30 12:01  4.9K  
 minisat2_2.2.1.orig.tar.gz     2011-03-29 16:07   43K  
 minisat_2.2.1-3_amd64.deb      2011-09-04 02:03  127K  
 minisat_2.2.1-3_i386.deb       2011-09-04 01:34  126K  
 minisat_2.2.1-5+b3_amd64.deb   2017-03-07 12:27   83K  
 minisat_2.2.1-5+b3_i386.deb    2017-03-07 12:27   91K  
 minisat_2.2.1-5_amd64.deb      2014-07-30 12:27   84K  
 minisat_2.2.1-5_i386.deb       2014-07-30 12:01   96K