File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
minisat_2.2.1-8+b1_loong64.deb	165.2 KiB	2026-Apr-21 20:52
minisat_2.2.1-8_riscv64.deb	147.4 KiB	2024-Feb-26 12:39
minisat_2.2.1-5+b3_i386.deb	91.2 KiB	2017-Mar-07 04:27
minisat_2.2.1-8_i386.deb	90.2 KiB	2024-Feb-26 10:23
minisat_2.2.1-5+b3_mipsel.deb	89.0 KiB	2017-Mar-07 05:44
minisat_2.2.1-5+b3_mips64el.deb	88.8 KiB	2017-Mar-07 05:13
minisat_2.2.1-8_ppc64el.deb	87.1 KiB	2024-Feb-26 10:23
minisat_2.2.1-5+b3_ppc64el.deb	86.4 KiB	2017-Mar-07 04:27
minisat_2.2.1-8_s390x.deb	83.3 KiB	2024-Feb-26 10:18
minisat_2.2.1-5+b3_amd64.deb	82.9 KiB	2017-Mar-07 04:27
minisat_2.2.1-8+b2_arm64.deb	82.8 KiB	2025-Apr-07 11:41
minisat_2.2.1-8+b3_arm64.deb	81.8 KiB	2026-Jan-20 11:17
minisat_2.2.1-5+b3_s390x.deb	81.3 KiB	2017-Mar-07 04:27
minisat_2.2.1-8_amd64.deb	81.2 KiB	2024-Feb-26 10:23
minisat_2.2.1-5+b3_arm64.deb	80.0 KiB	2017-Mar-07 04:11
minisat_2.2.1-5+b3_armel.deb	77.3 KiB	2017-Mar-07 05:13
minisat_2.2.1-5+b3_armhf.deb	76.0 KiB	2017-Mar-07 04:57
minisat_2.2.1-8_armel.deb	75.8 KiB	2024-Feb-26 10:23
minisat_2.2.1-8_armhf.deb	74.5 KiB	2024-Feb-26 10:23
minisat2_2.2.1.orig.tar.gz	43.2 KiB	2011-Mar-29 07:07
minisat2_2.2.1-8.debian.tar.xz	9.6 KiB	2024-Feb-26 10:03
minisat2_2.2.1-5.debian.tar.xz	9.1 KiB	2014-Jul-30 03:01
minisat2_2.2.1-5+b3_ppc64el.deb	5.1 KiB	2017-Mar-07 04:27
minisat2_2.2.1-5+b3_mips64el.deb	5.1 KiB	2017-Mar-07 05:13
minisat2_2.2.1-5+b3_amd64.deb	5.1 KiB	2017-Mar-07 04:27
minisat2_2.2.1-5+b3_i386.deb	5.1 KiB	2017-Mar-07 04:27
minisat2_2.2.1-5+b3_armhf.deb	5.1 KiB	2017-Mar-07 04:57
minisat2_2.2.1-5+b3_mipsel.deb	5.1 KiB	2017-Mar-07 05:44
minisat2_2.2.1-5+b3_arm64.deb	5.1 KiB	2017-Mar-07 04:11
minisat2_2.2.1-5+b3_s390x.deb	5.1 KiB	2017-Mar-07 04:27
minisat2_2.2.1-5+b3_armel.deb	5.1 KiB	2017-Mar-07 05:13
minisat2_2.2.1-5.dsc	1.8 KiB	2014-Jul-30 03:01
minisat2_2.2.1-8.dsc	1.7 KiB	2024-Feb-26 10:03