Index of /ubuntu-old/pool/universe/m/minisat2/
../
minisat2_070721-3.diff.gz 20-Jun-2008 11:07 3887
minisat2_070721-3.dsc 20-Jun-2008 11:07 961
minisat2_070721-3_i386.deb 20-Jun-2008 12:04 36K
minisat2_070721-6.diff.gz 05-Nov-2008 14:06 7599
minisat2_070721-6.dsc 05-Nov-2008 14:06 964
minisat2_070721-6_i386.deb 06-Nov-2008 20:05 41K
minisat2_070721-8.diff.gz 18-Jan-2010 08:05 8260
minisat2_070721-8.dsc 18-Jan-2010 08:05 994
minisat2_070721-8_i386.deb 18-Jan-2010 13:05 93K
minisat2_070721.orig.tar.gz 20-Jun-2008 11:07 31K
minisat2_2.2.0-2.debian.tar.gz 15-Oct-2010 13:06 9783
minisat2_2.2.0-2.dsc 15-Oct-2010 13:06 1110
minisat2_2.2.0-2_i386.deb 17-Oct-2010 10:05 103K
minisat2_2.2.0.orig.tar.gz 15-Oct-2010 13:06 43K
minisat2_2.2.1-2.debian.tar.gz 14-Jun-2011 11:05 8381
minisat2_2.2.1-2.dsc 14-Jun-2011 11:05 1135
minisat2_2.2.1-2_i386.deb 14-Jun-2011 12:05 1930
minisat2_2.2.1-3.debian.tar.gz 17-Oct-2011 13:05 8611
minisat2_2.2.1-3.dsc 17-Oct-2011 13:05 1135
minisat2_2.2.1-3_i386.deb 18-Oct-2011 02:05 1892
minisat2_2.2.1-4.debian.tar.gz 14-Jul-2013 22:43 9388
minisat2_2.2.1-4.dsc 14-Jul-2013 22:43 1879
minisat2_2.2.1-4_i386.deb 14-Jul-2013 22:58 1896
minisat2_2.2.1-5.debian.tar.xz 30-Jul-2014 17:44 9348
minisat2_2.2.1-5.dsc 30-Jul-2014 17:44 1893
minisat2_2.2.1-5_arm64.deb 30-Jul-2014 18:39 1996
minisat2_2.2.1-5_i386.deb 30-Jul-2014 18:40 1996
minisat2_2.2.1.orig.tar.gz 30-Apr-2011 17:05 43K
minisat_2.2.1-2_i386.deb 14-Jun-2011 12:05 123K
minisat_2.2.1-3_i386.deb 18-Oct-2011 02:05 124K
minisat_2.2.1-4_i386.deb 14-Jul-2013 22:58 124K
minisat_2.2.1-5_arm64.deb 30-Jul-2014 18:39 80K
minisat_2.2.1-5_i386.deb 30-Jul-2014 18:40 95K