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