Index of /ubuntu/pool/universe/m/minisat2/
../
minisat2_070721-8.diff.gz 18-Jan-2010 08:05 8260
minisat2_070721-8.dsc 18-Jan-2010 08:05 994
minisat2_070721-8_amd64.deb 18-Jan-2010 16:05 97674
minisat2_070721-8_i386.deb 18-Jan-2010 13:05 95606
minisat2_070721.orig.tar.gz 20-Jun-2008 11:07 31937
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_amd64.deb 17-Oct-2010 08:05 107534
minisat2_2.2.0-2_i386.deb 17-Oct-2010 10:05 105938
minisat2_2.2.0.orig.tar.gz 15-Oct-2010 13:06 43876
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_amd64.deb 14-Jun-2011 13:05 1928
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_amd64.deb 18-Oct-2011 03:03 1894
minisat2_2.2.1-3_i386.deb 18-Oct-2011 02:05 1892
minisat2_2.2.1.orig.tar.gz 30-Apr-2011 17:05 44229
minisat_2.2.1-2_amd64.deb 14-Jun-2011 13:05 126088
minisat_2.2.1-2_i386.deb 14-Jun-2011 12:05 126182
minisat_2.2.1-3_amd64.deb 18-Oct-2011 03:03 126870
minisat_2.2.1-3_i386.deb 18-Oct-2011 02:05 126954