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