Index of /Linux/Ubuntu/ubuntu/pool/universe/m/minisat2
Name Last modified Size Description
Parent Directory -
minisat2_070721-8.dsc 18-Jan-2010 16:05 1.0K
minisat2_2.2.0-2.dsc 15-Oct-2010 21:06 1.1K
minisat2_2.2.1-2.dsc 14-Jun-2011 19:05 1.1K
minisat2_2.2.1-3.dsc 17-Oct-2011 21:05 1.1K
minisat2_2.2.1-3_i386.deb 18-Oct-2011 10:05 1.8K
minisat2_2.2.1-3_amd64.deb 18-Oct-2011 11:03 1.8K
minisat2_2.2.1-2_amd64.deb 14-Jun-2011 21:05 1.9K
minisat2_2.2.1-2_i386.deb 14-Jun-2011 20:05 1.9K
minisat2_070721-8.diff.gz 18-Jan-2010 16:05 8.1K
minisat2_2.2.1-2.debian.tar.gz 14-Jun-2011 19:05 8.2K
minisat2_2.2.1-3.debian.tar.gz 17-Oct-2011 21:05 8.4K
minisat2_2.2.0-2.debian.tar.gz 15-Oct-2010 21:06 9.6K
minisat2_070721.orig.tar.gz 20-Jun-2008 19:07 31K
minisat2_2.2.0.orig.tar.gz 15-Oct-2010 21:06 43K
minisat2_2.2.1.orig.tar.gz 01-May-2011 01:05 43K
minisat2_070721-8_i386.deb 18-Jan-2010 21:05 93K
minisat2_070721-8_amd64.deb 19-Jan-2010 00:05 95K
minisat2_2.2.0-2_i386.deb 17-Oct-2010 18:05 103K
minisat2_2.2.0-2_amd64.deb 17-Oct-2010 16:05 105K
minisat_2.2.1-2_amd64.deb 14-Jun-2011 21:05 123K
minisat_2.2.1-2_i386.deb 14-Jun-2011 20:05 123K
minisat_2.2.1-3_amd64.deb 18-Oct-2011 11:03 124K
minisat_2.2.1-3_i386.deb 18-Oct-2011 10:05 124K
Microsoft-IIS/10.0 Server at ftp.twaren.net Port 80