/ubuntu/pool/universe/m/minisat+/

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