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

Filename	Modification time	Size
minisat+_1.0-4.debian.tar.xz	2017-02-22 21:22 CET	4176 B
minisat+_1.0-4.dsc	2017-02-22 21:22 CET	1984 B
minisat+_1.0-4_amd64.deb	2017-02-22 22:12 CET	155 KiB
minisat+_1.0-4_arm64.deb	2017-02-22 22:12 CET	131 KiB
minisat+_1.0-4_armel.deb	2017-02-22 22:12 CET	127 KiB
minisat+_1.0-4_armhf.deb	2017-02-22 22:12 CET	131 KiB
minisat+_1.0-4_i386.deb	2017-02-22 22:12 CET	156 KiB
minisat+_1.0-4_mips64el.deb	2017-02-22 22:28 CET	144 KiB
minisat+_1.0-4_mipsel.deb	2017-02-22 22:43 CET	141 KiB
minisat+_1.0-4_ppc64el.deb	2017-02-22 22:12 CET	145 KiB
minisat+_1.0-4_s390x.deb	2017-02-22 22:12 CET	143 KiB
minisat+_1.0-5.debian.tar.xz	2024-10-09 23:34 CEST	4448 B
minisat+_1.0-5.dsc	2024-10-09 23:34 CEST	1979 B
minisat+_1.0-5_amd64.deb	2024-10-10 02:45 CEST	146 KiB
minisat+_1.0-5_arm64.deb	2024-10-10 02:29 CEST	130 KiB
minisat+_1.0-5_armel.deb	2024-10-10 02:45 CEST	122 KiB
minisat+_1.0-5_armhf.deb	2024-10-10 02:29 CEST	126 KiB
minisat+_1.0-5_i386.deb	2024-10-10 02:40 CEST	145 KiB
minisat+_1.0-5_mips64el.deb	2024-10-10 03:52 CEST	140 KiB
minisat+_1.0-5_ppc64el.deb	2024-10-10 02:29 CEST	149 KiB
minisat+_1.0-5_riscv64.deb	2024-10-10 03:20 CEST	148 KiB
minisat+_1.0-5_s390x.deb	2024-10-10 02:45 CEST	164 KiB
minisat+_1.0.orig.tar.gz	2011-05-14 14:02 CEST	78 KiB