Filename Modification time Size minisat+_1.0-2.debian.tar.gz 2011-05-25 03:50 CEST 3966 B minisat+_1.0-2.dsc 2011-05-25 03:50 CEST 1262 B minisat+_1.0-2_amd64.deb 2011-05-25 03:50 CEST 176 KiB minisat+_1.0-2_arm64.deb 2014-08-18 11:43 CEST 131 KiB minisat+_1.0-2_armel.deb 2011-05-25 09:14 CEST 155 KiB minisat+_1.0-2_armhf.deb 2011-11-28 01:21 CET 142 KiB minisat+_1.0-2_i386.deb 2011-05-25 09:49 CEST 170 KiB minisat+_1.0-2_ia64.deb 2011-05-27 19:25 CEST 274 KiB minisat+_1.0-2_kfreebsd-amd64.deb 2011-05-25 15:34 CEST 176 KiB minisat+_1.0-2_kfreebsd-i386.deb 2011-05-25 15:49 CEST 170 KiB minisat+_1.0-2_mips.deb 2011-05-25 09:16 CEST 165 KiB minisat+_1.0-2_mipsel.deb 2011-05-27 23:10 CEST 166 KiB minisat+_1.0-2_powerpc.deb 2011-05-25 09:20 CEST 169 KiB minisat+_1.0-2_ppc64el.deb 2014-08-20 10:41 CEST 143 KiB minisat+_1.0-2_s390.deb 2011-05-25 11:26 CEST 167 KiB minisat+_1.0-2_s390x.deb 2011-11-27 00:45 CET 178 KiB minisat+_1.0-2_sparc.deb 2011-05-25 17:11 CEST 150 KiB minisat+_1.0-3.debian.tar.xz 2016-12-19 20:23 CET 4124 B minisat+_1.0-3.dsc 2016-12-19 20:23 CET 1984 B minisat+_1.0-3_amd64.deb 2016-12-19 20:58 CET 155 KiB minisat+_1.0-3_arm64.deb 2016-12-19 20:58 CET 131 KiB minisat+_1.0-3_armel.deb 2016-12-19 20:58 CET 127 KiB minisat+_1.0-3_armhf.deb 2016-12-19 20:58 CET 130 KiB minisat+_1.0-3_i386.deb 2016-12-19 20:58 CET 156 KiB minisat+_1.0-3_mips.deb 2016-12-19 20:58 CET 139 KiB minisat+_1.0-3_mips64el.deb 2016-12-19 20:58 CET 144 KiB minisat+_1.0-3_mipsel.deb 2016-12-19 20:58 CET 141 KiB minisat+_1.0-3_ppc64el.deb 2016-12-19 20:58 CET 145 KiB minisat+_1.0-3_s390x.deb 2016-12-19 20:58 CET 143 KiB minisat+_1.0.orig.tar.gz 2011-05-14 14:02 CEST 78 KiB
