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