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 /mirrors/debian/pool/main/c/cryptominisat/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
cryptominisat_5.8.0+dfsg1-1.dsc	2.4 KiB	2020-07-11 14:16:37
cryptominisat_5.11.4+dfsg1-2.dsc	2.4 KiB	2022-11-03 19:09:23
cryptominisat_5.11.15+dfsg1-1.dsc	2.4 KiB	2023-12-14 09:37:20
cryptominisat_5.11.15+dfsg1-1.1.dsc	2.5 KiB	2024-02-27 23:23:53
cryptominisat_5.11.4+dfsg1-2.debian.tar.xz	5.2 KiB	2022-11-03 19:09:23
cryptominisat_5.11.15+dfsg1-1.debian.tar.xz	5.3 KiB	2023-12-14 09:37:20
cryptominisat_5.11.15+dfsg1-1.1.debian.tar.xz	5.5 KiB	2024-02-27 23:23:53
cryptominisat_5.8.0+dfsg1-1.debian.tar.xz	6.0 KiB	2020-07-11 14:16:37
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_mipsel.deb	13.6 KiB	2020-12-13 10:56:33
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_s390x.deb	13.6 KiB	2020-12-12 21:57:48
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_i386.deb	13.6 KiB	2020-12-12 14:39:56
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_arm64.deb	13.6 KiB	2020-12-12 12:00:17
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_armhf.deb	13.6 KiB	2020-12-12 15:26:42
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_mips64el.deb	13.6 KiB	2020-12-12 23:25:52
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_ppc64el.deb	13.6 KiB	2020-12-12 16:28:31
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_armel.deb	13.6 KiB	2020-12-12 13:11:43
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_amd64.deb	13.6 KiB	2020-12-12 14:13:58
python3-cryptominisat_5.8.0+dfsg1-1+b3_armel.deb	17.5 KiB	2020-12-12 13:11:43
python3-cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb	17.6 KiB	2020-12-12 15:26:42
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armel.deb	17.9 KiB	2023-01-03 06:59:03
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_s390x.deb	17.9 KiB	2023-01-06 00:56:18
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_ppc64el.deb	17.9 KiB	2023-01-04 23:55:58
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_i386.deb	17.9 KiB	2023-01-03 07:45:01
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_mipsel.deb	17.9 KiB	2023-01-03 06:43:33
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_arm64.deb	17.9 KiB	2023-01-03 06:58:45
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_amd64.deb	17.9 KiB	2023-01-03 06:27:49
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armhf.deb	17.9 KiB	2023-01-03 06:58:43
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_mips64el.deb	17.9 KiB	2023-01-03 06:12:19
libcryptominisat5-dev_5.11.15+dfsg1-1.1_amd64.deb	18.2 KiB	2024-02-27 23:54:41
libcryptominisat5-dev_5.11.15+dfsg1-1.1_i386.deb	18.2 KiB	2024-02-27 23:54:31
libcryptominisat5-dev_5.11.15+dfsg1-1.1_armel.deb	18.2 KiB	2024-02-28 00:04:47
libcryptominisat5-dev_5.11.15+dfsg1-1.1_s390x.deb	18.2 KiB	2024-02-27 23:49:19
libcryptominisat5-dev_5.11.15+dfsg1-1.1_riscv64.deb	18.2 KiB	2024-02-28 01:26:34
libcryptominisat5-dev_5.11.15+dfsg1-1.1_arm64.deb	18.2 KiB	2024-02-28 00:04:48
libcryptominisat5-dev_5.11.15+dfsg1-1.1_armhf.deb	18.2 KiB	2024-02-27 23:54:30
libcryptominisat5-dev_5.11.15+dfsg1-1.1_ppc64el.deb	18.2 KiB	2024-02-27 23:54:32
libcryptominisat5-dev_5.11.15+dfsg1-1.1_mips64el.deb	18.2 KiB	2024-02-28 00:20:05
python3-cryptominisat_5.8.0+dfsg1-1+b3_s390x.deb	18.2 KiB	2020-12-12 21:57:48
python3-cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb	18.3 KiB	2020-12-12 12:00:17
libcryptominisat5-dev_5.11.15+dfsg1-1+b2_armel.deb	18.4 KiB	2024-01-05 22:19:28
libcryptominisat5-dev_5.11.15+dfsg1-1+b2_i386.deb	18.4 KiB	2024-01-05 22:24:40
libcryptominisat5-dev_5.11.15+dfsg1-1+b2_armhf.deb	18.4 KiB	2024-01-05 21:18:42
libcryptominisat5-dev_5.11.15+dfsg1-1+b2_s390x.deb	18.4 KiB	2024-01-06 06:38:27
libcryptominisat5-dev_5.11.15+dfsg1-1+b2_arm64.deb	18.4 KiB	2024-01-05 19:40:25
libcryptominisat5-dev_5.11.15+dfsg1-1+b2_ppc64el.deb	18.4 KiB	2024-01-05 20:40:41
libcryptominisat5-dev_5.11.15+dfsg1-1+b2_amd64.deb	18.4 KiB	2024-01-05 21:41:02
libcryptominisat5-dev_5.11.15+dfsg1-1+b2_mips64el.deb	18.4 KiB	2024-01-05 23:07:13
python3-cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb	18.7 KiB	2020-12-12 14:13:58
python3-cryptominisat_5.8.0+dfsg1-1+b3_mipsel.deb	18.7 KiB	2020-12-13 10:56:33
python3-cryptominisat_5.8.0+dfsg1-1+b3_mips64el.deb	18.8 KiB	2020-12-12 23:25:52
python3-cryptominisat_5.8.0+dfsg1-1+b3_i386.deb	19.5 KiB	2020-12-12 14:39:56
python3-cryptominisat_5.8.0+dfsg1-1+b3_ppc64el.deb	19.7 KiB	2020-12-12 16:28:31
cryptominisat_5.11.4+dfsg1-2+b1_armel.deb	65.7 KiB	2023-01-03 06:59:03
cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb	67.4 KiB	2023-01-03 06:58:43
cryptominisat_5.11.4+dfsg1-2+b1_s390x.deb	69.2 KiB	2023-01-06 00:56:18
cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb	69.2 KiB	2023-01-03 06:58:45
cryptominisat_5.11.15+dfsg1-1.1_armel.deb	69.8 KiB	2024-02-28 00:04:47
cryptominisat_5.11.15+dfsg1-1+b2_armel.deb	69.9 KiB	2024-01-05 22:19:28
cryptominisat_5.11.4+dfsg1-2+b1_mips64el.deb	70.4 KiB	2023-01-03 06:12:19
cryptominisat_5.11.15+dfsg1-1+b2_armhf.deb	71.1 KiB	2024-01-05 21:18:42
cryptominisat_5.11.15+dfsg1-1.1_armhf.deb	71.1 KiB	2024-02-27 23:54:30
cryptominisat_5.11.4+dfsg1-2+b1_mipsel.deb	71.5 KiB	2023-01-03 06:43:33
cryptominisat_5.11.15+dfsg1-1.1_arm64.deb	72.2 KiB	2024-02-28 00:04:48
cryptominisat_5.11.15+dfsg1-1+b2_arm64.deb	72.3 KiB	2024-01-05 19:40:25
cryptominisat_5.11.15+dfsg1-1.1_mips64el.deb	73.0 KiB	2024-02-28 00:20:05
cryptominisat_5.11.15+dfsg1-1+b2_mips64el.deb	73.1 KiB	2024-01-05 23:07:13
cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb	75.3 KiB	2023-01-03 06:27:49
cryptominisat_5.11.15+dfsg1-1.1_s390x.deb	76.4 KiB	2024-02-27 23:49:19
cryptominisat_5.11.15+dfsg1-1+b2_s390x.deb	76.6 KiB	2024-01-06 06:38:27
cryptominisat_5.11.4+dfsg1-2+b1_ppc64el.deb	76.8 KiB	2023-01-04 23:55:58
cryptominisat_5.8.0+dfsg1-1+b3_armel.deb	78.0 KiB	2020-12-12 13:11:43
cryptominisat_5.11.15+dfsg1-1.1_riscv64.deb	78.4 KiB	2024-02-28 01:26:34
cryptominisat_5.11.15+dfsg1-1.1_amd64.deb	78.7 KiB	2024-02-27 23:54:41
cryptominisat_5.11.15+dfsg1-1+b2_amd64.deb	79.0 KiB	2024-01-05 21:41:02
cryptominisat_5.11.4+dfsg1-2+b1_i386.deb	79.2 KiB	2023-01-03 07:45:01
cryptominisat_5.11.15+dfsg1-1.1_ppc64el.deb	80.1 KiB	2024-02-27 23:54:32
cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb	80.2 KiB	2020-12-12 15:26:42
cryptominisat_5.11.15+dfsg1-1+b2_ppc64el.deb	80.2 KiB	2024-01-05 20:40:41
cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb	80.6 KiB	2020-12-12 12:00:17
cryptominisat_5.8.0+dfsg1-1+b3_mips64el.deb	80.6 KiB	2020-12-12 23:25:52
cryptominisat_5.8.0+dfsg1-1+b3_s390x.deb	81.4 KiB	2020-12-12 21:57:48
cryptominisat_5.11.15+dfsg1-1.1_i386.deb	81.6 KiB	2024-02-27 23:54:31
cryptominisat_5.11.15+dfsg1-1+b2_i386.deb	81.9 KiB	2024-01-05 22:24:40
cryptominisat_5.8.0+dfsg1-1+b3_mipsel.deb	82.9 KiB	2020-12-13 10:56:33
cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb	86.0 KiB	2020-12-12 14:13:58
cryptominisat_5.8.0+dfsg1-1+b3_ppc64el.deb	89.5 KiB	2020-12-12 16:28:31
cryptominisat_5.8.0+dfsg1-1+b3_i386.deb	90.9 KiB	2020-12-12 14:39:56
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_armel.deb	365.7 KiB	2020-12-12 13:11:43
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_arm64.deb	370.1 KiB	2020-12-12 12:00:17
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_s390x.deb	372.4 KiB	2020-12-12 21:57:48
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_armhf.deb	375.7 KiB	2020-12-12 15:26:42
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_mips64el.deb	389.0 KiB	2020-12-12 23:25:52
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_mipsel.deb	405.2 KiB	2020-12-13 10:56:33
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_amd64.deb	406.3 KiB	2020-12-12 14:13:58
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_i386.deb	431.6 KiB	2020-12-12 14:39:56
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armel.deb	432.1 KiB	2023-01-03 06:59:03
libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_armel.deb	439.3 KiB	2024-01-05 22:19:28
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_armel.deb	439.3 KiB	2024-02-28 00:04:47
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_arm64.deb	440.4 KiB	2023-01-03 06:58:45
cryptominisat_5.8.0+dfsg1.orig.tar.xz	440.7 KiB	2020-07-11 14:16:37
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_ppc64el.deb	445.0 KiB	2020-12-12 16:28:31
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_s390x.deb	448.8 KiB	2023-01-06 00:56:18
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_arm64.deb	448.9 KiB	2024-02-28 00:04:48
libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_arm64.deb	448.9 KiB	2024-01-05 19:40:25
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armhf.deb	450.2 KiB	2023-01-03 06:58:43
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_armhf.deb	456.6 KiB	2024-02-27 23:54:30
libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_armhf.deb	456.8 KiB	2024-01-05 21:18:42
python3-cryptominisat_5.11.15+dfsg1-1+b2_armel.deb	460.5 KiB	2024-01-05 22:19:28
python3-cryptominisat_5.11.15+dfsg1-1.1_armel.deb	461.7 KiB	2024-02-28 00:04:47
python3-cryptominisat_5.11.4+dfsg1-2+b1_armel.deb	462.1 KiB	2023-01-03 06:59:03
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_mips64el.deb	462.9 KiB	2023-01-03 06:12:19
cryptominisat_5.11.15+dfsg1.orig.tar.xz	463.7 KiB	2023-12-14 09:37:20
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_mips64el.deb	465.9 KiB	2024-02-28 00:20:05
libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_mips64el.deb	466.0 KiB	2024-01-05 23:07:13
python3-cryptominisat_5.11.15+dfsg1-1+b2_armhf.deb	470.4 KiB	2024-01-05 21:18:42
python3-cryptominisat_5.11.15+dfsg1-1.1_armhf.deb	470.6 KiB	2024-02-27 23:54:30
python3-cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb	473.1 KiB	2023-01-03 06:58:43
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_mipsel.deb	477.0 KiB	2023-01-03 06:43:33
python3-cryptominisat_5.11.15+dfsg1-1.1_arm64.deb	477.4 KiB	2024-02-28 00:04:48
python3-cryptominisat_5.11.15+dfsg1-1+b2_arm64.deb	477.8 KiB	2024-01-05 19:40:25
python3-cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb	478.8 KiB	2023-01-03 06:58:45
python3-cryptominisat_5.11.4+dfsg1-2+b1_s390x.deb	482.6 KiB	2023-01-06 00:56:18
python3-cryptominisat_5.11.15+dfsg1-1.1_mips64el.deb	489.1 KiB	2024-02-28 00:20:05
python3-cryptominisat_5.11.15+dfsg1-1+b2_mips64el.deb	489.2 KiB	2024-01-05 23:07:13
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_amd64.deb	490.3 KiB	2023-01-03 06:27:49
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_amd64.deb	494.1 KiB	2024-02-27 23:54:41
libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_amd64.deb	494.2 KiB	2024-01-05 21:41:02
python3-cryptominisat_5.11.4+dfsg1-2+b1_mips64el.deb	494.3 KiB	2023-01-03 06:12:19
python3-cryptominisat_5.11.4+dfsg1-2+b1_mipsel.deb	511.2 KiB	2023-01-03 06:43:33
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_i386.deb	515.8 KiB	2023-01-03 07:45:01
python3-cryptominisat_5.11.15+dfsg1-1.1_amd64.deb	515.9 KiB	2024-02-27 23:54:41
python3-cryptominisat_5.11.15+dfsg1-1+b2_amd64.deb	516.2 KiB	2024-01-05 21:41:02
cryptominisat_5.11.4+dfsg1.orig.tar.xz	517.8 KiB	2022-10-28 21:20:08
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_i386.deb	519.0 KiB	2024-02-27 23:54:31
libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_i386.deb	519.1 KiB	2024-01-05 22:24:40
python3-cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb	520.0 KiB	2023-01-03 06:27:49
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_riscv64.deb	527.1 KiB	2024-02-28 01:26:34
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_s390x.deb	528.8 KiB	2024-02-27 23:49:19
libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_s390x.deb	528.8 KiB	2024-01-06 06:38:27
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_ppc64el.deb	529.9 KiB	2023-01-04 23:55:58
libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_ppc64el.deb	533.7 KiB	2024-01-05 20:40:41
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_ppc64el.deb	533.8 KiB	2024-02-27 23:54:32
python3-cryptominisat_5.11.15+dfsg1-1.1_riscv64.deb	544.3 KiB	2024-02-28 01:26:34
python3-cryptominisat_5.11.15+dfsg1-1.1_s390x.deb	550.3 KiB	2024-02-27 23:49:19
python3-cryptominisat_5.11.15+dfsg1-1+b2_s390x.deb	550.6 KiB	2024-01-06 06:38:27
python3-cryptominisat_5.11.15+dfsg1-1.1_ppc64el.deb	551.6 KiB	2024-02-27 23:54:32
python3-cryptominisat_5.11.15+dfsg1-1+b2_ppc64el.deb	551.9 KiB	2024-01-05 20:40:41
python3-cryptominisat_5.11.4+dfsg1-2+b1_ppc64el.deb	555.5 KiB	2023-01-04 23:55:58
python3-cryptominisat_5.11.15+dfsg1-1.1_i386.deb	571.5 KiB	2024-02-27 23:54:31
python3-cryptominisat_5.11.15+dfsg1-1+b2_i386.deb	571.8 KiB	2024-01-05 22:24:40
python3-cryptominisat_5.11.4+dfsg1-2+b1_i386.deb	575.8 KiB	2023-01-03 07:45:01