File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
minisat_2.2.1-8build2_arm64.deb	88.8 KiB	2025-Dec-16 16:25
minisat_2.2.1-8build2_amd64v3.deb	89.2 KiB	2025-Dec-16 16:25
minisat_2.2.1-8build2_amd64.deb	87.8 KiB	2025-Dec-16 16:25
minisat2_2.2.1-8build2.debian.tar.xz	9.8 KiB	2025-Dec-16 16:16
minisat2_2.2.1-8build2.dsc	1.8 KiB	2025-Dec-16 16:16
minisat_2.2.1-8build1_arm64.deb	89.8 KiB	2024-Apr-02 05:01
minisat_2.2.1-8build1_amd64.deb	86.0 KiB	2024-Apr-01 04:33
minisat2_2.2.1-8build1.dsc	1.8 KiB	2024-Apr-01 02:00
minisat2_2.2.1-8build1.debian.tar.xz	9.7 KiB	2024-Apr-01 02:00
minisat2_2.2.1-5build2_amd64.deb	2.0 KiB	2020-Mar-22 12:00
minisat_2.2.1-5build2_amd64.deb	80.0 KiB	2020-Mar-22 12:00
minisat2_2.2.1-5build2.dsc	1.9 KiB	2020-Mar-22 11:10
minisat2_2.2.1-5build2.debian.tar.xz	9.3 KiB	2020-Mar-22 11:10
minisat2_2.2.1-5build1_i386.deb	2.0 KiB	2018-Apr-05 02:04
minisat_2.2.1-5build1_i386.deb	88.6 KiB	2018-Apr-05 02:04
minisat_2.2.1-5build1_amd64.deb	79.9 KiB	2018-Apr-05 02:03
minisat2_2.2.1-5build1_amd64.deb	2.0 KiB	2018-Apr-05 02:03
minisat2_2.2.1-5build1.debian.tar.xz	9.3 KiB	2018-Apr-05 02:01
minisat2_2.2.1-5build1.dsc	1.9 KiB	2018-Apr-05 02:01
minisat_2.2.1-5_i386.deb	94.8 KiB	2014-Jul-30 12:40
minisat2_2.2.1-5_i386.deb	1.9 KiB	2014-Jul-30 12:40
minisat_2.2.1-5_amd64.deb	81.0 KiB	2014-Jul-30 12:38
minisat2_2.2.1-5_amd64.deb	1.9 KiB	2014-Jul-30 12:38
minisat2_2.2.1-5.dsc	1.8 KiB	2014-Jul-30 11:44
minisat2_2.2.1-5.debian.tar.xz	9.1 KiB	2014-Jul-30 11:44
minisat_2.2.1-4_i386.deb	124.3 KiB	2013-Jul-14 16:58
minisat2_2.2.1-4_i386.deb	1.9 KiB	2013-Jul-14 16:58
minisat_2.2.1-4_amd64.deb	127.9 KiB	2013-Jul-14 16:58
minisat2_2.2.1-4_amd64.deb	1.9 KiB	2013-Jul-14 16:58
minisat2_2.2.1-4.dsc	1.8 KiB	2013-Jul-14 16:43
minisat2_2.2.1-4.debian.tar.gz	9.2 KiB	2013-Jul-14 16:43
minisat2_2.2.1.orig.tar.gz	43.2 KiB	2011-Apr-30 11:05