Index of /debian/pool/main/m/minisat2/

Filename	Modification time	Size
minisat2_2.2.1-5+b3_amd64.deb	2017-03-07 12:27 CET	5258 B
minisat2_2.2.1-5+b3_arm64.deb	2017-03-07 12:11 CET	5250 B
minisat2_2.2.1-5+b3_armel.deb	2017-03-07 13:13 CET	5244 B
minisat2_2.2.1-5+b3_armhf.deb	2017-03-07 12:57 CET	5254 B
minisat2_2.2.1-5+b3_i386.deb	2017-03-07 12:27 CET	5258 B
minisat2_2.2.1-5+b3_mips64el.deb	2017-03-07 13:13 CET	5260 B
minisat2_2.2.1-5+b3_mipsel.deb	2017-03-07 13:44 CET	5252 B
minisat2_2.2.1-5+b3_ppc64el.deb	2017-03-07 12:27 CET	5264 B
minisat2_2.2.1-5+b3_s390x.deb	2017-03-07 12:27 CET	5246 B
minisat2_2.2.1-5.debian.tar.xz	2014-07-30 12:01 CEST	9348 B
minisat2_2.2.1-5.dsc	2014-07-30 12:01 CEST	1893 B
minisat2_2.2.1-8.debian.tar.xz	2024-02-26 18:03 CET	9864 B
minisat2_2.2.1-8.dsc	2024-02-26 18:03 CET	1729 B
minisat2_2.2.1.orig.tar.gz	2011-03-29 16:07 CEST	43 KiB
minisat_2.2.1-5+b3_amd64.deb	2017-03-07 12:27 CET	83 KiB
minisat_2.2.1-5+b3_arm64.deb	2017-03-07 12:11 CET	80 KiB
minisat_2.2.1-5+b3_armel.deb	2017-03-07 13:13 CET	77 KiB
minisat_2.2.1-5+b3_armhf.deb	2017-03-07 12:57 CET	76 KiB
minisat_2.2.1-5+b3_i386.deb	2017-03-07 12:27 CET	91 KiB
minisat_2.2.1-5+b3_mips64el.deb	2017-03-07 13:13 CET	89 KiB
minisat_2.2.1-5+b3_mipsel.deb	2017-03-07 13:44 CET	89 KiB
minisat_2.2.1-5+b3_ppc64el.deb	2017-03-07 12:27 CET	86 KiB
minisat_2.2.1-5+b3_s390x.deb	2017-03-07 12:27 CET	81 KiB
minisat_2.2.1-8+b2_arm64.deb	2025-04-07 20:41 CEST	83 KiB
minisat_2.2.1-8+b3_arm64.deb	2026-01-20 19:17 CET	82 KiB
minisat_2.2.1-8_amd64.deb	2024-02-26 18:23 CET	81 KiB
minisat_2.2.1-8_armel.deb	2024-02-26 18:23 CET	76 KiB
minisat_2.2.1-8_armhf.deb	2024-02-26 18:23 CET	75 KiB
minisat_2.2.1-8_i386.deb	2024-02-26 18:23 CET	90 KiB
minisat_2.2.1-8_loong64.deb	2025-12-20 17:29 CET	165 KiB
minisat_2.2.1-8_ppc64el.deb	2024-02-26 18:23 CET	87 KiB
minisat_2.2.1-8_riscv64.deb	2024-02-26 20:39 CET	147 KiB
minisat_2.2.1-8_s390x.deb	2024-02-26 18:18 CET	83 KiB