File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
minisat+_1.0-2_amd64.deb	176.3 KiB	2011-11-12 15:12
minisat+_1.0-2_i386.deb	168.1 KiB	2011-11-12 15:16
minisat+_1.0-5build1_amd64v3.deb	158.5 KiB	2026-01-27 00:37
minisat+_1.0-5build1_amd64.deb	158.5 KiB	2026-01-27 00:36
minisat+_1.0-5build1_arm64.deb	158.1 KiB	2026-01-27 00:37
minisat+_1.0-5_amd64.deb	157.1 KiB	2024-10-31 23:59
minisat+_1.0-4_amd64.deb	154.9 KiB	2017-04-30 04:25
minisat+_1.0-5_arm64.deb	153.5 KiB	2024-11-01 00:11
minisat+_1.0-4_i386.deb	145.9 KiB	2017-04-30 04:29
minisat+_1.0-4build1_amd64.deb	138.7 KiB	2020-03-22 20:50
minisat+_1.0.orig.tar.gz	78.1 KiB	2011-11-12 12:20
minisat+_1.0-5build1.debian.tar.xz	4.4 KiB	2026-01-27 00:34
minisat+_1.0-5.debian.tar.xz	4.3 KiB	2024-10-31 22:11
minisat+_1.0-4build1.debian.tar.xz	4.2 KiB	2020-03-22 20:10
minisat+_1.0-4.debian.tar.xz	4.1 KiB	2017-04-30 02:58
minisat+_1.0-2.debian.tar.gz	3.9 KiB	2011-11-12 12:20
minisat+_1.0-4build1.dsc	2.0 KiB	2020-03-22 20:10
minisat+_1.0-4.dsc	1.9 KiB	2017-04-30 02:58
minisat+_1.0-5.dsc	1.9 KiB	2024-10-31 22:11
minisat+_1.0-5build1.dsc	1.9 KiB	2026-01-27 00:34
minisat+_1.0-2.dsc	1.2 KiB	2011-11-12 12:20