Welcome to mirrors.dotsrc.org

All our mirrors of open source software are available via http, https, ftp and an onion service. More information about our mirrors including statistics and contact information is available on our mirror info pages.

For information about dotsrc.org and our other services please go to our website.

Index of /pub/mirrors/ubuntu-ports/pool/universe/m/minisat2/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
minisat2_2.2.1-4.debian.tar.gz	9.2 KiB	2013-07-14 22:43:24
minisat2_2.2.1-4.dsc	1.8 KiB	2013-07-14 22:43:24
minisat2_2.2.1-4_arm64.deb	1.9 KiB	2013-10-20 06:28:33
minisat2_2.2.1-4_armhf.deb	1.9 KiB	2013-07-14 22:58:23
minisat2_2.2.1-4_powerpc.deb	1.9 KiB	2013-07-14 23:13:23
minisat2_2.2.1-4_ppc64el.deb	1.9 KiB	2014-02-19 10:28:52
minisat2_2.2.1-5.debian.tar.xz	9.1 KiB	2014-07-30 17:44:51
minisat2_2.2.1-5.dsc	1.8 KiB	2014-07-30 17:44:51
minisat2_2.2.1-5_arm64.deb	1.9 KiB	2014-07-30 18:39:05
minisat2_2.2.1-5_armhf.deb	1.9 KiB	2014-07-30 17:45:35
minisat2_2.2.1-5_powerpc.deb	2.0 KiB	2014-07-30 18:40:57
minisat2_2.2.1-5_ppc64el.deb	2.0 KiB	2014-07-30 18:41:05
minisat2_2.2.1-5_s390x.deb	1.9 KiB	2015-12-05 01:47:11
minisat2_2.2.1-5build1.debian.tar.xz	9.3 KiB	2018-04-05 08:01:02
minisat2_2.2.1-5build1.dsc	1.9 KiB	2018-04-05 08:01:02
minisat2_2.2.1-5build1_arm64.deb	2.0 KiB	2018-04-05 08:04:02
minisat2_2.2.1-5build1_armhf.deb	2.0 KiB	2018-04-05 08:04:11
minisat2_2.2.1-5build1_ppc64el.deb	2.0 KiB	2018-04-05 08:04:41
minisat2_2.2.1-5build1_s390x.deb	2.0 KiB	2018-04-05 08:04:58
minisat2_2.2.1-5build2.debian.tar.xz	9.3 KiB	2020-03-22 17:10:05
minisat2_2.2.1-5build2.dsc	1.9 KiB	2020-03-22 17:10:05
minisat2_2.2.1-5build2_arm64.deb	2.0 KiB	2020-03-22 20:56:14
minisat2_2.2.1-5build2_armhf.deb	2.0 KiB	2020-03-22 20:56:30
minisat2_2.2.1-5build2_ppc64el.deb	2.0 KiB	2020-03-22 21:23:33
minisat2_2.2.1-5build2_riscv64.deb	2.0 KiB	2020-04-03 10:14:27
minisat2_2.2.1-5build2_s390x.deb	2.0 KiB	2020-03-22 20:31:42
minisat2_2.2.1-8build1.debian.tar.xz	9.7 KiB	2024-04-01 08:00:52
minisat2_2.2.1-8build1.dsc	1.8 KiB	2024-04-01 08:00:52
minisat2_2.2.1-8build2.debian.tar.xz	9.8 KiB	2025-12-16 22:16:37
minisat2_2.2.1-8build2.dsc	1.8 KiB	2025-12-16 22:16:37
minisat2_2.2.1.orig.tar.gz	43.2 KiB	2011-04-30 17:05:36
minisat_2.2.1-4_arm64.deb	125.8 KiB	2013-10-20 06:28:33
minisat_2.2.1-4_armhf.deb	118.9 KiB	2013-07-14 22:58:24
minisat_2.2.1-4_powerpc.deb	133.3 KiB	2013-07-14 23:13:23
minisat_2.2.1-4_ppc64el.deb	90.5 KiB	2014-02-19 10:28:52
minisat_2.2.1-5_arm64.deb	79.7 KiB	2014-07-30 18:39:05
minisat_2.2.1-5_armhf.deb	76.0 KiB	2014-07-30 17:45:35
minisat_2.2.1-5_powerpc.deb	86.0 KiB	2014-07-30 18:40:57
minisat_2.2.1-5_ppc64el.deb	91.7 KiB	2014-07-30 18:41:04
minisat_2.2.1-5_s390x.deb	78.0 KiB	2015-12-05 01:47:12
minisat_2.2.1-5build1_arm64.deb	78.5 KiB	2018-04-05 08:04:02
minisat_2.2.1-5build1_armhf.deb	73.2 KiB	2018-04-05 08:04:11
minisat_2.2.1-5build1_ppc64el.deb	99.5 KiB	2018-04-05 08:04:41
minisat_2.2.1-5build1_s390x.deb	77.1 KiB	2018-04-05 08:04:58
minisat_2.2.1-5build2_arm64.deb	77.2 KiB	2020-03-22 20:56:14
minisat_2.2.1-5build2_armhf.deb	73.5 KiB	2020-03-22 20:56:30
minisat_2.2.1-5build2_ppc64el.deb	89.2 KiB	2020-03-22 21:23:33
minisat_2.2.1-5build2_riscv64.deb	144.6 KiB	2020-04-03 10:14:28
minisat_2.2.1-5build2_s390x.deb	76.2 KiB	2020-03-22 20:31:41
minisat_2.2.1-8build1_arm64.deb	89.8 KiB	2024-04-02 11:01:07
minisat_2.2.1-8build1_armhf.deb	79.1 KiB	2024-04-01 19:53:19
minisat_2.2.1-8build1_ppc64el.deb	101.5 KiB	2024-04-02 02:14:35
minisat_2.2.1-8build1_riscv64.deb	172.2 KiB	2024-04-02 01:09:16
minisat_2.2.1-8build1_s390x.deb	92.1 KiB	2024-04-02 05:03:36
minisat_2.2.1-8build2_arm64.deb	88.8 KiB	2025-12-16 22:25:58
minisat_2.2.1-8build2_armhf.deb	80.4 KiB	2025-12-16 22:26:15
minisat_2.2.1-8build2_ppc64el.deb	102.3 KiB	2025-12-16 22:26:41
minisat_2.2.1-8build2_riscv64.deb	205.2 KiB	2025-12-17 01:41:32
minisat_2.2.1-8build2_s390x.deb	90.4 KiB	2025-12-16 22:27:16