Index of /Linux/Debian/debian/pool/main/m/minisat+
Name Last modified Size Description
Parent Directory -
minisat+_1.0-2_ia64.deb 28-May-2011 01:25 274K
minisat+_1.0-2_s390x.deb 27-Nov-2011 07:45 178K
minisat+_1.0-2_kfreebsd-amd64.deb 25-May-2011 21:34 176K
minisat+_1.0-2_amd64.deb 25-May-2011 09:50 176K
minisat+_1.0-2_i386.deb 25-May-2011 15:49 170K
minisat+_1.0-2_hurd-i386.deb 25-May-2011 18:35 170K
minisat+_1.0-2_kfreebsd-i386.deb 25-May-2011 21:49 170K
minisat+_1.0-2_powerpc.deb 25-May-2011 15:20 169K
minisat+_1.0-2_s390.deb 25-May-2011 17:26 167K
minisat+_1.0-2_mipsel.deb 28-May-2011 05:10 166K
minisat+_1.0-2_mips.deb 25-May-2011 15:16 165K
minisat+_1.0-2_armel.deb 25-May-2011 15:14 155K
minisat+_1.0-2_sparc.deb 25-May-2011 23:11 150K
minisat+_1.0-2_armhf.deb 28-Nov-2011 08:21 142K
minisat+_1.0.orig.tar.gz 14-May-2011 20:02 78K
minisat+_1.0-2.debian.tar.gz 25-May-2011 09:50 3.9K
minisat+_1.0-2.dsc 25-May-2011 09:50 1.2K
Microsoft-IIS/10.0 Server at ftp.ncnu.edu.tw Port 80