Index of /gnewsense/pool/main/m/minisat2

      Name                           Last modified      Size  Description
Parent Directory - minisat_2.2.1-3_mipsel.deb 2011-09-04 01:32 132K minisat_2.2.1-3_i386.deb 2011-09-04 00:34 126K minisat_2.2.1-3_amd64.deb 2011-09-04 01:03 127K minisat2_2.2.1.orig.tar.gz 2011-03-29 15:07 43K minisat2_2.2.1-3_mipsel.deb 2011-09-04 01:32 4.9K minisat2_2.2.1-3_i386.deb 2011-09-04 00:34 4.9K minisat2_2.2.1-3_amd64.deb 2011-09-04 01:03 4.9K minisat2_2.2.1-3.dsc 2011-09-04 00:34 1.1K minisat2_2.2.1-3.debian.tar.gz 2011-09-04 00:34 8.4K minisat2_2.2.0.orig.tar.gz 2010-07-25 08:02 43K minisat2_2.2.0-2_mipsel.deb 2010-07-26 10:21 110K minisat2_2.2.0-2_i386.deb 2010-07-26 07:52 106K minisat2_2.2.0-2_amd64.deb 2010-07-25 21:50 107K minisat2_2.2.0-2.dsc 2010-07-25 21:50 1.1K minisat2_2.2.0-2.debian.tar.gz 2010-07-25 21:50 9.6K
ftp.heanet.ie