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