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

Icon  Name                           Last modified      Size  Description
[DIR] Parent Directory - [   ] minisat2_070721-8.diff.gz 18-Jan-2010 16:05 8.1K [TXT] minisat2_070721-8.dsc 18-Jan-2010 16:05 1.0K [   ] minisat2_070721-8_amd64.deb 19-Jan-2010 00:05 95K [   ] minisat2_070721-8_i386.deb 18-Jan-2010 21:05 93K [   ] minisat2_070721.orig.tar.gz 20-Jun-2008 19:07 31K [   ] minisat2_2.2.0-2.debian.tar.gz 15-Oct-2010 21:06 9.6K [TXT] minisat2_2.2.0-2.dsc 15-Oct-2010 21:06 1.1K [   ] minisat2_2.2.0-2_amd64.deb 17-Oct-2010 16:05 105K [   ] minisat2_2.2.0-2_i386.deb 17-Oct-2010 18:05 103K [   ] minisat2_2.2.0.orig.tar.gz 15-Oct-2010 21:06 43K [   ] minisat2_2.2.1-2.debian.tar.gz 14-Jun-2011 19:05 8.2K [TXT] minisat2_2.2.1-2.dsc 14-Jun-2011 19:05 1.1K [   ] 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_2.2.1-3.debian.tar.gz 17-Oct-2011 21:05 8.4K [TXT] minisat2_2.2.1-3.dsc 17-Oct-2011 21:05 1.1K [   ] minisat2_2.2.1-3_amd64.deb 18-Oct-2011 11:03 1.8K [   ] minisat2_2.2.1-3_i386.deb 18-Oct-2011 10:05 1.8K [   ] minisat2_2.2.1.orig.tar.gz 01-May-2011 01:05 43K [   ] 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