Index of /debian/pool/main/m/minisat+

      Name                    Last modified       Size  Description

[DIR] Parent Directory 10-Dec-2019 10:00 - [   ] minisat+_1.0-2.debia..> 25-May-2011 03:50 4k [TXT] minisat+_1.0-2.dsc 25-May-2011 03:50 1k [TXT] minisat+_1.0-2_amd64..> 25-May-2011 03:50 176k [TXT] minisat+_1.0-2_armel..> 25-May-2011 09:14 155k [TXT] minisat+_1.0-2_armhf..> 28-Nov-2011 01:21 142k [TXT] minisat+_1.0-2_i386.deb 25-May-2011 09:49 170k [   ] minisat+_1.0-3.debia..> 19-Dec-2016 20:23 4k [TXT] minisat+_1.0-3.dsc 19-Dec-2016 20:23 2k [TXT] minisat+_1.0-3_amd64..> 19-Dec-2016 20:58 155k [TXT] minisat+_1.0-3_arm64..> 19-Dec-2016 20:58 131k [TXT] minisat+_1.0-3_armel..> 19-Dec-2016 20:58 127k [TXT] minisat+_1.0-3_armhf..> 19-Dec-2016 20:58 130k [TXT] minisat+_1.0-3_i386.deb 19-Dec-2016 20:58 156k [TXT] minisat+_1.0-3_mips.deb 19-Dec-2016 20:58 139k [TXT] minisat+_1.0-3_mips6..> 19-Dec-2016 20:58 144k [TXT] minisat+_1.0-3_mipse..> 19-Dec-2016 20:58 141k [TXT] minisat+_1.0-3_ppc64..> 19-Dec-2016 20:58 145k [TXT] minisat+_1.0-3_s390x..> 19-Dec-2016 20:58 143k [   ] minisat+_1.0-4.debia..> 22-Feb-2017 21:22 4k [TXT] minisat+_1.0-4.dsc 22-Feb-2017 21:22 2k [TXT] minisat+_1.0-4_amd64..> 22-Feb-2017 22:12 155k [TXT] minisat+_1.0-4_arm64..> 22-Feb-2017 22:12 131k [TXT] minisat+_1.0-4_armel..> 22-Feb-2017 22:12 127k [TXT] minisat+_1.0-4_armhf..> 22-Feb-2017 22:12 131k [TXT] minisat+_1.0-4_i386.deb 22-Feb-2017 22:12 156k [TXT] minisat+_1.0-4_mips.deb 22-Feb-2017 22:12 139k [TXT] minisat+_1.0-4_mips6..> 22-Feb-2017 22:28 144k [TXT] minisat+_1.0-4_mipse..> 22-Feb-2017 22:43 141k [TXT] minisat+_1.0-4_ppc64..> 22-Feb-2017 22:12 145k [TXT] minisat+_1.0-4_s390x..> 22-Feb-2017 22:12 143k [   ] minisat+_1.0.orig.ta..> 14-May-2011 14:02 78k