Index of /debian/pool/main/c/cryptominisat/
name
size
date
cryptominisat_5.11.21+dfsg1-3+b1_riscv64.deb
87.2K
2026-01-16 17:59:08
libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b1_riscv64.deb
0.52M
2026-01-16 17:59:08
libcryptominisat5-dev_5.11.21+dfsg1-3+b1_riscv64.deb
18.7K
2026-01-16 17:59:08
python3-cryptominisat_5.11.21+dfsg1-3+b1_riscv64.deb
0.59M
2026-01-16 17:59:08
cryptominisat_5.11.21+dfsg1-3+b1_s390x.deb
86.2K
2026-01-16 16:24:00
libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b1_s390x.deb
0.52M
2026-01-16 16:24:00
libcryptominisat5-dev_5.11.21+dfsg1-3+b1_s390x.deb
18.7K
2026-01-16 16:24:00
python3-cryptominisat_5.11.21+dfsg1-3+b1_s390x.deb
0.59M
2026-01-16 16:24:00
cryptominisat_5.11.21+dfsg1-3+b1_loong64.deb
83.6K
2026-01-16 16:18:57
libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b1_loong64.deb
500.6K
2026-01-16 16:18:57
libcryptominisat5-dev_5.11.21+dfsg1-3+b1_loong64.deb
18.7K
2026-01-16 16:18:57
python3-cryptominisat_5.11.21+dfsg1-3+b1_loong64.deb
0.56M
2026-01-16 16:18:57
cryptominisat_5.11.21+dfsg1-3+b1_i386.deb
96.0K
2026-01-16 16:18:51
libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b1_i386.deb
0.52M
2026-01-16 16:18:51
libcryptominisat5-dev_5.11.21+dfsg1-3+b1_i386.deb
18.7K
2026-01-16 16:18:51
python3-cryptominisat_5.11.21+dfsg1-3+b1_i386.deb
0.62M
2026-01-16 16:18:51
cryptominisat_5.11.21+dfsg1-3+b1_ppc64el.deb
88.7K
2026-01-16 14:57:34
libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b1_ppc64el.deb
0.54M
2026-01-16 14:57:34
libcryptominisat5-dev_5.11.21+dfsg1-3+b1_ppc64el.deb
18.7K
2026-01-16 14:57:34
python3-cryptominisat_5.11.21+dfsg1-3+b1_ppc64el.deb
0.61M
2026-01-16 14:57:34
cryptominisat_5.11.21+dfsg1-3+b1_amd64.deb
88.8K
2026-01-16 14:57:29
libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b1_amd64.deb
508.9K
2026-01-16 14:57:29
libcryptominisat5-dev_5.11.21+dfsg1-3+b1_amd64.deb
18.7K
2026-01-16 14:57:29
python3-cryptominisat_5.11.21+dfsg1-3+b1_amd64.deb
0.57M
2026-01-16 14:57:29
cryptominisat_5.11.21+dfsg1-3+b1_armhf.deb
81.9K
2026-01-16 14:46:35
libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b1_armhf.deb
460.7K
2026-01-16 14:46:35
libcryptominisat5-dev_5.11.21+dfsg1-3+b1_armhf.deb
18.7K
2026-01-16 14:46:35
python3-cryptominisat_5.11.21+dfsg1-3+b1_armhf.deb
0.52M
2026-01-16 14:46:35
cryptominisat_5.11.21+dfsg1-3+b1_arm64.deb
78.6K
2026-01-16 14:41:21
libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b1_arm64.deb
447.9K
2026-01-16 14:41:21
libcryptominisat5-dev_5.11.21+dfsg1-3+b1_arm64.deb
18.7K
2026-01-16 14:41:21
python3-cryptominisat_5.11.21+dfsg1-3+b1_arm64.deb
0.51M
2026-01-16 14:41:21
cryptominisat_5.11.21+dfsg1-3.debian.tar.xz
6.9K
2025-08-13 06:03:47
cryptominisat_5.11.21+dfsg1-3.dsc
2.4K
2025-08-13 06:03:47
cryptominisat_5.11.21+dfsg1-2_riscv64.deb
87.4K
2025-05-25 00:08:28
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_riscv64.deb
0.52M
2025-05-25 00:08:28
libcryptominisat5-dev_5.11.21+dfsg1-2_riscv64.deb
18.4K
2025-05-25 00:08:28
python3-cryptominisat_5.11.21+dfsg1-2_riscv64.deb
0.59M
2025-05-25 00:08:28
cryptominisat_5.11.21+dfsg1-2_arm64.deb
79.3K
2025-05-24 23:32:07
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_arm64.deb
460.6K
2025-05-24 23:32:07
libcryptominisat5-dev_5.11.21+dfsg1-2_arm64.deb
18.4K
2025-05-24 23:32:07
python3-cryptominisat_5.11.21+dfsg1-2_arm64.deb
0.52M
2025-05-24 23:32:07
cryptominisat_5.11.21+dfsg1-2_ppc64el.deb
88.7K
2025-05-24 23:21:44
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_ppc64el.deb
0.53M
2025-05-24 23:21:44
libcryptominisat5-dev_5.11.21+dfsg1-2_ppc64el.deb
18.4K
2025-05-24 23:21:44
python3-cryptominisat_5.11.21+dfsg1-2_ppc64el.deb
0.60M
2025-05-24 23:21:44
cryptominisat_5.11.21+dfsg1-2_armhf.deb
81.6K
2025-05-24 23:21:43
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_armhf.deb
462.5K
2025-05-24 23:21:43
libcryptominisat5-dev_5.11.21+dfsg1-2_armhf.deb
18.4K
2025-05-24 23:21:43
python3-cryptominisat_5.11.21+dfsg1-2_armhf.deb
0.52M
2025-05-24 23:21:43
cryptominisat_5.11.21+dfsg1-2_armel.deb
78.7K
2025-05-24 23:21:40
cryptominisat_5.11.21+dfsg1-2_s390x.deb
85.6K
2025-05-24 23:21:40
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_armel.deb
443.0K
2025-05-24 23:21:40
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_s390x.deb
0.52M
2025-05-24 23:21:40
libcryptominisat5-dev_5.11.21+dfsg1-2_armel.deb
18.4K
2025-05-24 23:21:40
libcryptominisat5-dev_5.11.21+dfsg1-2_s390x.deb
18.4K
2025-05-24 23:21:40
python3-cryptominisat_5.11.21+dfsg1-2_armel.deb
0.50M
2025-05-24 23:21:40
python3-cryptominisat_5.11.21+dfsg1-2_s390x.deb
0.59M
2025-05-24 23:21:40
cryptominisat_5.11.21+dfsg1-2_amd64.deb
89.3K
2025-05-24 23:21:25
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_amd64.deb
509.2K
2025-05-24 23:21:25
libcryptominisat5-dev_5.11.21+dfsg1-2_amd64.deb
18.4K
2025-05-24 23:21:25
python3-cryptominisat_5.11.21+dfsg1-2_amd64.deb
0.57M
2025-05-24 23:21:25
cryptominisat_5.11.21+dfsg1-2_i386.deb
95.4K
2025-05-24 23:21:24
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_i386.deb
0.52M
2025-05-24 23:21:24
libcryptominisat5-dev_5.11.21+dfsg1-2_i386.deb
18.4K
2025-05-24 23:21:24
python3-cryptominisat_5.11.21+dfsg1-2_i386.deb
0.63M
2025-05-24 23:21:24
cryptominisat_5.11.21+dfsg1-2.debian.tar.xz
6.5K
2025-05-24 22:55:14
cryptominisat_5.11.21+dfsg1-2.dsc
2.5K
2025-05-24 22:55:14
cryptominisat_5.11.21+dfsg1.orig.tar.xz
470.2K
2024-05-03 06:30:46
cryptominisat_5.11.4+dfsg1-2+b1_s390x.deb
69.2K
2023-01-06 00:56:18
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_s390x.deb
448.8K
2023-01-06 00:56:18
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_s390x.deb
17.9K
2023-01-06 00:56:18
python3-cryptominisat_5.11.4+dfsg1-2+b1_s390x.deb
482.6K
2023-01-06 00:56:18
cryptominisat_5.11.4+dfsg1-2+b1_ppc64el.deb
76.8K
2023-01-04 23:55:58
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_ppc64el.deb
0.52M
2023-01-04 23:55:58
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_ppc64el.deb
17.9K
2023-01-04 23:55:58
python3-cryptominisat_5.11.4+dfsg1-2+b1_ppc64el.deb
0.54M
2023-01-04 23:55:58
cryptominisat_5.11.4+dfsg1-2+b1_i386.deb
79.2K
2023-01-03 07:45:01
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_i386.deb
0.50M
2023-01-03 07:45:01
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_i386.deb
17.9K
2023-01-03 07:45:01
python3-cryptominisat_5.11.4+dfsg1-2+b1_i386.deb
0.56M
2023-01-03 07:45:01
cryptominisat_5.11.4+dfsg1-2+b1_armel.deb
65.7K
2023-01-03 06:59:03
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armel.deb
432.1K
2023-01-03 06:59:03
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armel.deb
17.9K
2023-01-03 06:59:03
python3-cryptominisat_5.11.4+dfsg1-2+b1_armel.deb
462.1K
2023-01-03 06:59:03
cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb
69.2K
2023-01-03 06:58:45
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_arm64.deb
440.4K
2023-01-03 06:58:45
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_arm64.deb
17.9K
2023-01-03 06:58:45
python3-cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb
478.8K
2023-01-03 06:58:45
cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb
67.4K
2023-01-03 06:58:43
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armhf.deb
450.2K
2023-01-03 06:58:43
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armhf.deb
17.9K
2023-01-03 06:58:43
python3-cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb
473.1K
2023-01-03 06:58:43
cryptominisat_5.11.4+dfsg1-2+b1_mipsel.deb
71.5K
2023-01-03 06:43:33
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_mipsel.deb
477.0K
2023-01-03 06:43:33
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_mipsel.deb
17.9K
2023-01-03 06:43:33
python3-cryptominisat_5.11.4+dfsg1-2+b1_mipsel.deb
511.2K
2023-01-03 06:43:33
cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb
75.3K
2023-01-03 06:27:49
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_amd64.deb
490.3K
2023-01-03 06:27:49
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_amd64.deb
17.9K
2023-01-03 06:27:49
python3-cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb
0.51M
2023-01-03 06:27:49
cryptominisat_5.11.4+dfsg1-2+b1_mips64el.deb
70.4K
2023-01-03 06:12:19
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_mips64el.deb
462.9K
2023-01-03 06:12:19
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_mips64el.deb
17.9K
2023-01-03 06:12:19
python3-cryptominisat_5.11.4+dfsg1-2+b1_mips64el.deb
494.3K
2023-01-03 06:12:19
cryptominisat_5.11.4+dfsg1-2.debian.tar.xz
5.2K
2022-11-03 19:09:23
cryptominisat_5.11.4+dfsg1-2.dsc
2.4K
2022-11-03 19:09:23
cryptominisat_5.11.4+dfsg1.orig.tar.xz
0.51M
2022-10-28 21:20:08
cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb
80.2K
2020-12-12 15:26:42
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_armhf.deb
375.7K
2020-12-12 15:26:42
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_armhf.deb
13.6K
2020-12-12 15:26:42
python3-cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb
17.6K
2020-12-12 15:26:42
cryptominisat_5.8.0+dfsg1-1+b3_i386.deb
90.9K
2020-12-12 14:39:56
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_i386.deb
431.6K
2020-12-12 14:39:56
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_i386.deb
13.6K
2020-12-12 14:39:56
python3-cryptominisat_5.8.0+dfsg1-1+b3_i386.deb
19.5K
2020-12-12 14:39:56
cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb
86.0K
2020-12-12 14:13:58
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_amd64.deb
406.3K
2020-12-12 14:13:58
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_amd64.deb
13.6K
2020-12-12 14:13:58
python3-cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb
18.7K
2020-12-12 14:13:58
cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb
80.6K
2020-12-12 12:00:17
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_arm64.deb
370.1K
2020-12-12 12:00:17
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_arm64.deb
13.6K
2020-12-12 12:00:17
python3-cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb
18.3K
2020-12-12 12:00:17
cryptominisat_5.8.0+dfsg1-1.debian.tar.xz
6.0K
2020-07-11 14:16:37
cryptominisat_5.8.0+dfsg1-1.dsc
2.4K
2020-07-11 14:16:37
cryptominisat_5.8.0+dfsg1.orig.tar.xz
440.7K
2020-07-11 14:16:37