KuronekoServer Mirror Server

📂cryptominisat

Name Size Last Modified
../ — —
cryptominisat_5.11.15+dfsg1-1.1build1.debian.tar.xz 5.6 KiB 2024-03-31 18:36:44
cryptominisat_5.11.15+dfsg1-1.1build1.dsc 2.6 KiB 2024-03-31 18:36:44
cryptominisat_5.11.15+dfsg1-1.1build1_arm64.deb 77 KiB 2024-04-02 01:07:58
cryptominisat_5.11.15+dfsg1-1.1build1_armhf.deb 78 KiB 2024-04-02 01:08:32
cryptominisat_5.11.15+dfsg1-1.1build1_ppc64el.deb 84 KiB 2024-04-02 05:02:54
cryptominisat_5.11.15+dfsg1-1.1build1_riscv64.deb 84 KiB 2024-04-03 21:11:09
cryptominisat_5.11.15+dfsg1-1.1build1_s390x.deb 83 KiB 2024-04-02 11:03:14
cryptominisat_5.11.15+dfsg1.orig.tar.xz 464 KiB 2023-12-14 17:37:25
cryptominisat_5.11.21+dfsg1-1build1.debian.tar.xz 6.5 KiB 2025-01-03 14:35:59
cryptominisat_5.11.21+dfsg1-1build1.dsc 2.4 KiB 2025-01-03 14:36:00
cryptominisat_5.11.21+dfsg1-1build1_arm64.deb 85 KiB 2025-01-03 14:37:52
cryptominisat_5.11.21+dfsg1-1build1_armhf.deb 87 KiB 2025-01-03 14:38:35
cryptominisat_5.11.21+dfsg1-1build1_ppc64el.deb 94 KiB 2025-01-03 14:39:54
cryptominisat_5.11.21+dfsg1-1build1_riscv64.deb 94 KiB 2025-01-03 18:35:28
cryptominisat_5.11.21+dfsg1-1build1_s390x.deb 94 KiB 2025-01-03 14:40:31
cryptominisat_5.11.21+dfsg1-2.debian.tar.xz 6.5 KiB 2025-05-25 05:49:09
cryptominisat_5.11.21+dfsg1-2.dsc 2.5 KiB 2025-05-25 05:49:09
cryptominisat_5.11.21+dfsg1-2_arm64.deb 85 KiB 2025-05-25 05:49:12
cryptominisat_5.11.21+dfsg1-2_armhf.deb 87 KiB 2025-05-25 05:49:13
cryptominisat_5.11.21+dfsg1-2_ppc64el.deb 93 KiB 2025-05-25 05:49:15
cryptominisat_5.11.21+dfsg1-2_riscv64.deb 94 KiB 2025-05-25 08:34:45
cryptominisat_5.11.21+dfsg1-2_s390x.deb 95 KiB 2025-05-25 05:49:16
cryptominisat_5.11.21+dfsg1-3.debian.tar.xz 6.9 KiB 2025-10-28 00:02:03
cryptominisat_5.11.21+dfsg1-3.dsc 2.4 KiB 2025-10-28 00:02:03
cryptominisat_5.11.21+dfsg1-3_arm64.deb 84 KiB 2025-10-28 06:37:47
cryptominisat_5.11.21+dfsg1-3_armhf.deb 87 KiB 2025-10-28 06:48:27
cryptominisat_5.11.21+dfsg1-3_ppc64el.deb 93 KiB 2025-10-28 00:47:49
cryptominisat_5.11.21+dfsg1-3_riscv64.deb 95 KiB 2025-10-28 18:28:57
cryptominisat_5.11.21+dfsg1-3_s390x.deb 94 KiB 2025-10-28 07:07:38
cryptominisat_5.11.21+dfsg1.orig.tar.xz 470 KiB 2024-05-03 11:29:03
cryptominisat_5.8.0+dfsg1-2.debian.tar.xz 6.1 KiB 2022-02-22 23:24:36
cryptominisat_5.8.0+dfsg1-2.dsc 2.4 KiB 2022-02-22 23:24:36
cryptominisat_5.8.0+dfsg1-2_arm64.deb 87 KiB 2022-02-22 23:45:48
cryptominisat_5.8.0+dfsg1-2_armhf.deb 87 KiB 2022-02-22 23:45:56
cryptominisat_5.8.0+dfsg1-2_ppc64el.deb 97 KiB 2022-02-22 23:46:14
cryptominisat_5.8.0+dfsg1-2_riscv64.deb 94 KiB 2022-02-23 02:29:06
cryptominisat_5.8.0+dfsg1-2_s390x.deb 88 KiB 2022-02-22 23:46:34
cryptominisat_5.8.0+dfsg1.orig.tar.xz 441 KiB 2020-07-13 17:24:37
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_arm64.deb 425 KiB 2024-04-02 01:07:58
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_armhf.deb 510 KiB 2024-04-02 01:08:32
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_ppc64el.deb 492 KiB 2024-04-02 05:02:53
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_riscv64.deb 573 KiB 2024-04-03 21:11:09
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_s390x.deb 497 KiB 2024-04-02 11:03:14
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_arm64.deb 439 KiB 2025-01-03 14:37:52
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_armhf.deb 510 KiB 2025-01-03 14:38:35
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_ppc64el.deb 499 KiB 2025-01-03 14:39:54
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_riscv64.deb 580 KiB 2025-01-03 18:35:28
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_s390x.deb 501 KiB 2025-01-03 14:40:31
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_arm64.deb 438 KiB 2025-05-25 05:49:12
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_armhf.deb 507 KiB 2025-05-25 05:49:13
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_ppc64el.deb 498 KiB 2025-05-25 05:49:15
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_riscv64.deb 579 KiB 2025-05-25 08:34:45
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_s390x.deb 497 KiB 2025-05-25 05:49:16
libcryptominisat5-5.11t64_5.11.21+dfsg1-3_arm64.deb 422 KiB 2025-10-28 06:37:47
libcryptominisat5-5.11t64_5.11.21+dfsg1-3_armhf.deb 504 KiB 2025-10-28 06:48:26
libcryptominisat5-5.11t64_5.11.21+dfsg1-3_ppc64el.deb 498 KiB 2025-10-28 00:47:49
libcryptominisat5-5.11t64_5.11.21+dfsg1-3_riscv64.deb 579 KiB 2025-10-28 18:28:57
libcryptominisat5-5.11t64_5.11.21+dfsg1-3_s390x.deb 492 KiB 2025-10-28 07:07:38
libcryptominisat5-5.8_5.8.0+dfsg1-2_arm64.deb 366 KiB 2022-02-22 23:45:48
libcryptominisat5-5.8_5.8.0+dfsg1-2_armhf.deb 416 KiB 2022-02-22 23:45:56
libcryptominisat5-5.8_5.8.0+dfsg1-2_ppc64el.deb 462 KiB 2022-02-22 23:46:14
libcryptominisat5-5.8_5.8.0+dfsg1-2_riscv64.deb 449 KiB 2022-02-23 02:29:06
libcryptominisat5-5.8_5.8.0+dfsg1-2_s390x.deb 365 KiB 2022-02-22 23:46:34
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_arm64.deb 17 KiB 2024-04-02 01:07:58
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_armhf.deb 17 KiB 2024-04-02 01:08:32
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_ppc64el.deb 17 KiB 2024-04-02 05:02:53
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_riscv64.deb 17 KiB 2024-04-03 21:11:08
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_s390x.deb 17 KiB 2024-04-02 11:03:14
libcryptominisat5-dev_5.11.21+dfsg1-1build1_arm64.deb 17 KiB 2025-01-03 14:37:52
libcryptominisat5-dev_5.11.21+dfsg1-1build1_armhf.deb 17 KiB 2025-01-03 14:38:34
libcryptominisat5-dev_5.11.21+dfsg1-1build1_ppc64el.deb 17 KiB 2025-01-03 14:39:53
libcryptominisat5-dev_5.11.21+dfsg1-1build1_riscv64.deb 17 KiB 2025-01-03 18:35:28
libcryptominisat5-dev_5.11.21+dfsg1-1build1_s390x.deb 17 KiB 2025-01-03 14:40:31
libcryptominisat5-dev_5.11.21+dfsg1-2_arm64.deb 17 KiB 2025-05-25 05:49:12
libcryptominisat5-dev_5.11.21+dfsg1-2_armhf.deb 17 KiB 2025-05-25 05:49:13
libcryptominisat5-dev_5.11.21+dfsg1-2_ppc64el.deb 17 KiB 2025-05-25 05:49:14
libcryptominisat5-dev_5.11.21+dfsg1-2_riscv64.deb 17 KiB 2025-05-25 08:34:45
libcryptominisat5-dev_5.11.21+dfsg1-2_s390x.deb 17 KiB 2025-05-25 05:49:16
libcryptominisat5-dev_5.11.21+dfsg1-3_arm64.deb 17 KiB 2025-10-28 06:37:46
libcryptominisat5-dev_5.11.21+dfsg1-3_armhf.deb 17 KiB 2025-10-28 06:48:26
libcryptominisat5-dev_5.11.21+dfsg1-3_ppc64el.deb 17 KiB 2025-10-28 00:47:49
libcryptominisat5-dev_5.11.21+dfsg1-3_riscv64.deb 17 KiB 2025-10-28 18:28:57
libcryptominisat5-dev_5.11.21+dfsg1-3_s390x.deb 17 KiB 2025-10-28 07:07:37
libcryptominisat5-dev_5.8.0+dfsg1-2_arm64.deb 13 KiB 2022-02-22 23:45:48
libcryptominisat5-dev_5.8.0+dfsg1-2_armhf.deb 13 KiB 2022-02-22 23:45:56
libcryptominisat5-dev_5.8.0+dfsg1-2_ppc64el.deb 13 KiB 2022-02-22 23:46:14
libcryptominisat5-dev_5.8.0+dfsg1-2_riscv64.deb 13 KiB 2022-02-23 02:29:06
libcryptominisat5-dev_5.8.0+dfsg1-2_s390x.deb 13 KiB 2022-02-22 23:46:35
python3-cryptominisat_5.11.15+dfsg1-1.1build1_arm64.deb 507 KiB 2024-04-02 01:07:58
python3-cryptominisat_5.11.15+dfsg1-1.1build1_armhf.deb 512 KiB 2024-04-02 01:08:32
python3-cryptominisat_5.11.15+dfsg1-1.1build1_ppc64el.deb 620 KiB 2024-04-02 05:02:53
python3-cryptominisat_5.11.15+dfsg1-1.1build1_riscv64.deb 593 KiB 2024-04-03 21:11:08
python3-cryptominisat_5.11.15+dfsg1-1.1build1_s390x.deb 580 KiB 2024-04-02 11:03:13
python3-cryptominisat_5.11.21+dfsg1-1build1_arm64.deb 565 KiB 2025-01-03 14:37:52
python3-cryptominisat_5.11.21+dfsg1-1build1_armhf.deb 571 KiB 2025-01-03 14:38:34
python3-cryptominisat_5.11.21+dfsg1-1build1_ppc64el.deb 669 KiB 2025-01-03 14:39:53
python3-cryptominisat_5.11.21+dfsg1-1build1_riscv64.deb 653 KiB 2025-01-03 18:35:28
python3-cryptominisat_5.11.21+dfsg1-1build1_s390x.deb 621 KiB 2025-01-03 14:40:30
python3-cryptominisat_5.11.21+dfsg1-2_arm64.deb 571 KiB 2025-05-25 05:49:11
python3-cryptominisat_5.11.21+dfsg1-2_armhf.deb 576 KiB 2025-05-25 05:49:13
python3-cryptominisat_5.11.21+dfsg1-2_ppc64el.deb 677 KiB 2025-05-25 05:49:14
python3-cryptominisat_5.11.21+dfsg1-2_riscv64.deb 661 KiB 2025-05-25 08:34:45
python3-cryptominisat_5.11.21+dfsg1-2_s390x.deb 628 KiB 2025-05-25 05:49:15
python3-cryptominisat_5.11.21+dfsg1-3_arm64.deb 554 KiB 2025-10-28 06:37:46
python3-cryptominisat_5.11.21+dfsg1-3_armhf.deb 574 KiB 2025-10-28 06:48:26
python3-cryptominisat_5.11.21+dfsg1-3_ppc64el.deb 682 KiB 2025-10-28 00:47:49
python3-cryptominisat_5.11.21+dfsg1-3_riscv64.deb 662 KiB 2025-10-28 18:28:57
python3-cryptominisat_5.11.21+dfsg1-3_s390x.deb 622 KiB 2025-10-28 07:07:37
python3-cryptominisat_5.8.0+dfsg1-2_arm64.deb 19 KiB 2022-02-22 23:45:48
python3-cryptominisat_5.8.0+dfsg1-2_armhf.deb 18 KiB 2022-02-22 23:45:56
python3-cryptominisat_5.8.0+dfsg1-2_ppc64el.deb 20 KiB 2022-02-22 23:46:14
python3-cryptominisat_5.8.0+dfsg1-2_riscv64.deb 19 KiB 2022-02-23 02:29:06
python3-cryptominisat_5.8.0+dfsg1-2_s390x.deb 19 KiB 2022-02-22 23:46:34