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