File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
minisat+_1.0-5.dsc	1.9 KiB	2024-10-09 23:34
minisat+_1.0-4.dsc	1.9 KiB	2017-02-22 22:22
minisat+_1.0-4.debian.tar.xz	4.1 KiB	2017-02-22 22:22
minisat+_1.0-5.debian.tar.xz	4.3 KiB	2024-10-09 23:34
minisat+_1.0.orig.tar.gz	78.1 KiB	2011-05-14 14:02
minisat+_1.0-5_armel.deb	122.3 KiB	2024-10-10 02:45
minisat+_1.0-5_armhf.deb	126.2 KiB	2024-10-10 02:29
minisat+_1.0-4_armel.deb	126.9 KiB	2017-02-22 23:12
minisat+_1.0-5_arm64.deb	130.0 KiB	2024-10-10 02:29
minisat+_1.0-4_armhf.deb	130.6 KiB	2017-02-22 23:12
minisat+_1.0-4_arm64.deb	130.8 KiB	2017-02-22 23:12
minisat+_1.0-4_mipsel.deb	141.3 KiB	2017-02-22 23:43
minisat+_1.0-4_mips64el.deb	144.4 KiB	2017-02-22 23:28
minisat+_1.0-5_i386.deb	144.5 KiB	2024-10-10 02:40
minisat+_1.0-4_ppc64el.deb	145.0 KiB	2017-02-22 23:12
minisat+_1.0-5_amd64.deb	145.8 KiB	2024-10-10 02:45
minisat+_1.0-5_riscv64.deb	147.8 KiB	2024-10-10 03:20
minisat+_1.0-5_ppc64el.deb	149.5 KiB	2024-10-10 02:29
minisat+_1.0-5_loong64.deb	149.9 KiB	2025-12-20 18:34
minisat+_1.0-4_amd64.deb	154.7 KiB	2017-02-22 23:12
minisat+_1.0-4_i386.deb	156.3 KiB	2017-02-22 23:12