| Parent directory/ | - | - |
| minisat2_070721-5_ia64.deb | 65K | 08-Sep-2008 07:17 |
| minisat2_070721-5_mips.deb | 42K | 10-Sep-2008 21:17 |
| minisat2_070721-5_sparc.deb | 38K | 10-Sep-2008 07:47 |
| minisat2_070721-8_sparc.deb | 92K | 30-Dec-2009 12:21 |
| minisat2_2.2.0-2_ia64.deb | 160K | 26-Jul-2010 02:56 |
| minisat2_2.2.0-2_mips.deb | 112K | 27-Jul-2010 18:11 |
| minisat2_2.2.1-2_ia64.deb | 4988 | 15-Jun-2011 16:22 |
| minisat2_2.2.1-2_mips.deb | 5000 | 13-Jun-2011 14:49 |
| minisat2_2.2.1-3_armel.deb | 5032 | 04-Sep-2011 01:33 |
| minisat2_2.2.1-3_armhf.deb | 5046 | 28-Nov-2011 00:01 |
| minisat2_2.2.1-3_s390x.deb | 5038 | 26-Nov-2011 23:45 |
| minisat2_2.2.1-5+b1_armel.deb | 5260 | 17-Aug-2015 18:01 |
| minisat2_2.2.1-5+b1_armhf.deb | 5260 | 17-Aug-2015 20:41 |
| minisat2_2.2.1-5+b1_ppc64el.deb | 5264 | 17-Aug-2015 16:24 |
| minisat2_2.2.1-5+b1_s390x.deb | 5320 | 27-Aug-2014 00:00 |
| minisat2_2.2.1-5+b2_s390x.deb | 5258 | 17-Aug-2015 16:24 |
| minisat2_2.2.1-5+b3_amd64.deb | 5258 | 07-Mar-2017 11:27 |
| minisat2_2.2.1-5+b3_arm64.deb | 5250 | 07-Mar-2017 11:11 |
| minisat2_2.2.1-5+b3_i386.deb | 5258 | 07-Mar-2017 11:27 |
| minisat2_2.2.1-5.debian.tar.xz | 9348 | 30-Jul-2014 10:01 |
| minisat2_2.2.1-5.dsc | 1893 | 30-Jul-2014 10:01 |
| minisat2_2.2.1-5_armel.deb | 5038 | 30-Jul-2014 11:12 |
| minisat2_2.2.1-5_armhf.deb | 5034 | 30-Jul-2014 10:27 |
| minisat2_2.2.1-5_mips64el.deb | 4982 | 29-Aug-2015 09:31 |
| minisat2_2.2.1-5_ppc64el.deb | 5038 | 20-Aug-2014 08:46 |
| minisat2_2.2.1-8.debian.tar.xz | 9864 | 26-Feb-2024 17:03 |
| minisat2_2.2.1-8.dsc | 1729 | 26-Feb-2024 17:03 |
| minisat2_2.2.1.orig.tar.gz | 43K | 29-Mar-2011 14:07 |
| minisat_2.2.1-2_ia64.deb | 192K | 15-Jun-2011 16:22 |
| minisat_2.2.1-2_mips.deb | 132K | 13-Jun-2011 14:49 |
| minisat_2.2.1-3_armel.deb | 125K | 04-Sep-2011 01:33 |
| minisat_2.2.1-3_armhf.deb | 122K | 28-Nov-2011 00:01 |
| minisat_2.2.1-3_s390x.deb | 143K | 26-Nov-2011 23:45 |
| minisat_2.2.1-5+b1_armel.deb | 79K | 17-Aug-2015 18:01 |
| minisat_2.2.1-5+b1_armhf.deb | 79K | 17-Aug-2015 20:41 |
| minisat_2.2.1-5+b1_ppc64el.deb | 86K | 17-Aug-2015 16:24 |
| minisat_2.2.1-5+b1_s390x.deb | 92K | 27-Aug-2014 00:00 |
| minisat_2.2.1-5+b2_s390x.deb | 90K | 17-Aug-2015 16:24 |
| minisat_2.2.1-5+b3_amd64.deb | 83K | 07-Mar-2017 11:27 |
| minisat_2.2.1-5+b3_arm64.deb | 80K | 07-Mar-2017 11:11 |
| minisat_2.2.1-5+b3_i386.deb | 91K | 07-Mar-2017 11:27 |
| minisat_2.2.1-5_armel.deb | 78K | 30-Jul-2014 11:12 |
| minisat_2.2.1-5_armhf.deb | 78K | 30-Jul-2014 10:27 |
| minisat_2.2.1-5_mips64el.deb | 88K | 29-Aug-2015 09:31 |
| minisat_2.2.1-5_ppc64el.deb | 86K | 20-Aug-2014 08:46 |
| minisat_2.2.1-8+b1_arm64.deb | 83K | 01-Nov-2024 20:51 |
| minisat_2.2.1-8_amd64.deb | 81K | 26-Feb-2024 17:23 |
| minisat_2.2.1-8_i386.deb | 90K | 26-Feb-2024 17:23 |
| minisat_2.2.1-8_riscv64.deb | 147K | 26-Feb-2024 19:39 |