Index of /pool/main/m/minisat2/

NameLast ModifiedSizeType
Parent Directory/ -  Directory
minisat2_2.2.1-3.debian.tar.gz2011-Sep-04 01:34:388.4Kapplication/x-gzip
minisat2_2.2.1-3.dsc2011-Sep-04 01:34:381.1Kapplication/octet-stream
minisat2_2.2.1-3_amd64.deb2011-Sep-04 02:03:374.9Kapplication/octet-stream
minisat2_2.2.1-3_armhf.deb2011-Nov-28 01:01:084.9Kapplication/octet-stream
minisat2_2.2.1-3_i386.deb2011-Sep-04 01:34:384.9Kapplication/octet-stream
minisat2_2.2.1-3_kfreebsd-amd64.deb2011-Sep-04 02:17:594.9Kapplication/octet-stream
minisat2_2.2.1-3_kfreebsd-i386.deb2011-Sep-04 02:32:344.9Kapplication/octet-stream
minisat2_2.2.1-3_mips.deb2011-Sep-04 02:18:114.9Kapplication/octet-stream
minisat2_2.2.1-3_mipsel.deb2011-Sep-04 02:32:454.9Kapplication/octet-stream
minisat2_2.2.1-3_powerpc.deb2011-Sep-04 02:32:574.9Kapplication/octet-stream
minisat2_2.2.1-5+b1_amd64.deb2015-Aug-17 18:34:405.1Kapplication/octet-stream
minisat2_2.2.1-5+b1_arm64.deb2015-Aug-17 18:18:595.1Kapplication/octet-stream
minisat2_2.2.1-5+b1_armhf.deb2015-Aug-17 22:41:175.1Kapplication/octet-stream
minisat2_2.2.1-5+b1_i386.deb2015-Aug-17 18:24:195.1Kapplication/octet-stream
minisat2_2.2.1-5+b1_kfreebsd-amd64.deb2015-Aug-17 18:34:345.1Kapplication/octet-stream
minisat2_2.2.1-5+b1_kfreebsd-i386.deb2015-Aug-17 19:00:185.1Kapplication/octet-stream
minisat2_2.2.1-5+b1_mips.deb2015-Aug-17 22:04:175.1Kapplication/octet-stream
minisat2_2.2.1-5+b1_mipsel.deb2015-Aug-17 20:47:405.1Kapplication/octet-stream
minisat2_2.2.1-5+b1_powerpc.deb2015-Aug-17 18:08:515.1Kapplication/octet-stream
minisat2_2.2.1-5+b1_ppc64el.deb2015-Aug-17 18:24:215.1Kapplication/octet-stream
minisat2_2.2.1-5.debian.tar.xz2014-Jul-30 12:01:449.1Kapplication/octet-stream
minisat2_2.2.1-5.dsc2014-Jul-30 12:01:441.8Kapplication/octet-stream
minisat2_2.2.1-5_amd64.deb2014-Jul-30 12:27:014.9Kapplication/octet-stream
minisat2_2.2.1-5_arm64.deb2014-Aug-18 11:43:484.9Kapplication/octet-stream
minisat2_2.2.1-5_armhf.deb2014-Jul-30 12:27:024.9Kapplication/octet-stream
minisat2_2.2.1-5_i386.deb2014-Jul-30 12:01:444.9Kapplication/octet-stream
minisat2_2.2.1-5_kfreebsd-amd64.deb2014-Jul-30 12:32:054.9Kapplication/octet-stream
minisat2_2.2.1-5_kfreebsd-i386.deb2014-Jul-30 12:32:044.9Kapplication/octet-stream
minisat2_2.2.1-5_mips.deb2014-Jul-30 13:57:264.9Kapplication/octet-stream
minisat2_2.2.1-5_mips64el.deb2015-Aug-29 11:31:404.8Kapplication/octet-stream
minisat2_2.2.1-5_mipsel.deb2014-Jul-30 13:12:144.9Kapplication/octet-stream
minisat2_2.2.1-5_powerpc.deb2014-Jul-30 12:27:004.9Kapplication/octet-stream
minisat2_2.2.1-5_ppc64el.deb2014-Aug-20 10:46:234.9Kapplication/octet-stream
minisat2_2.2.1.orig.tar.gz2011-Mar-29 16:07:5943.1Kapplication/x-gzip
minisat_2.2.1-3_amd64.deb2011-Sep-04 02:03:37127.4Kapplication/octet-stream
minisat_2.2.1-3_armhf.deb2011-Nov-28 01:01:08121.9Kapplication/octet-stream
minisat_2.2.1-3_i386.deb2011-Sep-04 01:34:38126.0Kapplication/octet-stream
minisat_2.2.1-3_kfreebsd-amd64.deb2011-Sep-04 02:17:59125.7Kapplication/octet-stream
minisat_2.2.1-3_kfreebsd-i386.deb2011-Sep-04 02:32:34124.9Kapplication/octet-stream
minisat_2.2.1-3_mips.deb2011-Sep-04 02:18:11132.0Kapplication/octet-stream
minisat_2.2.1-3_mipsel.deb2011-Sep-04 02:32:45131.9Kapplication/octet-stream
minisat_2.2.1-3_powerpc.deb2011-Sep-04 02:32:57131.1Kapplication/octet-stream
minisat_2.2.1-5+b1_amd64.deb2015-Aug-17 18:34:4083.7Kapplication/octet-stream
minisat_2.2.1-5+b1_arm64.deb2015-Aug-17 18:18:5979.5Kapplication/octet-stream
minisat_2.2.1-5+b1_armhf.deb2015-Aug-17 22:41:1779.0Kapplication/octet-stream
minisat_2.2.1-5+b1_i386.deb2015-Aug-17 18:24:1994.6Kapplication/octet-stream
minisat_2.2.1-5+b1_kfreebsd-amd64.deb2015-Aug-17 18:34:3482.9Kapplication/octet-stream
minisat_2.2.1-5+b1_kfreebsd-i386.deb2015-Aug-17 19:00:1893.6Kapplication/octet-stream
minisat_2.2.1-5+b1_mips.deb2015-Aug-17 22:04:1786.2Kapplication/octet-stream
minisat_2.2.1-5+b1_mipsel.deb2015-Aug-17 20:47:4086.9Kapplication/octet-stream
minisat_2.2.1-5+b1_powerpc.deb2015-Aug-17 18:08:5187.7Kapplication/octet-stream
minisat_2.2.1-5+b1_ppc64el.deb2015-Aug-17 18:24:2185.9Kapplication/octet-stream
minisat_2.2.1-5_amd64.deb2014-Jul-30 12:27:0183.5Kapplication/octet-stream
minisat_2.2.1-5_arm64.deb2014-Aug-18 11:43:4881.9Kapplication/octet-stream
minisat_2.2.1-5_armhf.deb2014-Jul-30 12:27:0278.1Kapplication/octet-stream
minisat_2.2.1-5_i386.deb2014-Jul-30 12:01:4496.3Kapplication/octet-stream
minisat_2.2.1-5_kfreebsd-amd64.deb2014-Jul-30 12:32:0582.5Kapplication/octet-stream
minisat_2.2.1-5_kfreebsd-i386.deb2014-Jul-30 12:32:0495.4Kapplication/octet-stream
minisat_2.2.1-5_mips.deb2014-Jul-30 13:57:2684.9Kapplication/octet-stream
minisat_2.2.1-5_mips64el.deb2015-Aug-29 11:31:4088.1Kapplication/octet-stream
minisat_2.2.1-5_mipsel.deb2014-Jul-30 13:12:1484.8Kapplication/octet-stream
minisat_2.2.1-5_powerpc.deb2014-Jul-30 12:27:0087.6Kapplication/octet-stream
minisat_2.2.1-5_ppc64el.deb2014-Aug-20 10:46:2386.0Kapplication/octet-stream
EUserv Internet euserv.com