Index of /mirrors/ubuntu ports/pool/universe/c/cryptominisat/
../
cryptominisat_5.11.15+dfsg1-1.1build1.debian.ta..> 31-Mar-2024 19:36 5720
cryptominisat_5.11.15+dfsg1-1.1build1.dsc 31-Mar-2024 19:36 2621
cryptominisat_5.11.15+dfsg1-1.1build1_arm64.deb 02-Apr-2024 02:07 77K
cryptominisat_5.11.15+dfsg1-1.1build1_armhf.deb 02-Apr-2024 02:08 77K
cryptominisat_5.11.15+dfsg1-1.1build1_ppc64el.deb 02-Apr-2024 06:02 84K
cryptominisat_5.11.15+dfsg1-1.1build1_riscv64.deb 03-Apr-2024 22:11 84K
cryptominisat_5.11.15+dfsg1-1.1build1_s390x.deb 02-Apr-2024 12:03 83K
cryptominisat_5.11.15+dfsg1.orig.tar.xz 14-Dec-2023 18:37 464K
cryptominisat_5.11.21+dfsg1-1build1.debian.tar.xz 03-Jan-2025 15:35 6704
cryptominisat_5.11.21+dfsg1-1build1.dsc 03-Jan-2025 15:36 2497
cryptominisat_5.11.21+dfsg1-1build1_arm64.deb 03-Jan-2025 15:37 85K
cryptominisat_5.11.21+dfsg1-1build1_armhf.deb 03-Jan-2025 15:38 87K
cryptominisat_5.11.21+dfsg1-1build1_ppc64el.deb 03-Jan-2025 15:39 94K
cryptominisat_5.11.21+dfsg1-1build1_riscv64.deb 03-Jan-2025 19:35 94K
cryptominisat_5.11.21+dfsg1-1build1_s390x.deb 03-Jan-2025 15:40 95K
cryptominisat_5.11.21+dfsg1-2.debian.tar.xz 25-May-2025 06:49 6696
cryptominisat_5.11.21+dfsg1-2.dsc 25-May-2025 06:49 2519
cryptominisat_5.11.21+dfsg1-2_arm64.deb 25-May-2025 06:49 85K
cryptominisat_5.11.21+dfsg1-2_armhf.deb 25-May-2025 06:49 87K
cryptominisat_5.11.21+dfsg1-2_ppc64el.deb 25-May-2025 06:49 93K
cryptominisat_5.11.21+dfsg1-2_riscv64.deb 25-May-2025 09:34 94K
cryptominisat_5.11.21+dfsg1-2_s390x.deb 25-May-2025 06:49 95K
cryptominisat_5.11.21+dfsg1-3build1.debian.tar.xz 22-Jan-2026 21:33 7096
cryptominisat_5.11.21+dfsg1-3build1.dsc 22-Jan-2026 21:33 2504
cryptominisat_5.11.21+dfsg1-3build1_arm64.deb 23-Jan-2026 02:14 84K
cryptominisat_5.11.21+dfsg1-3build1_armhf.deb 23-Jan-2026 02:17 87K
cryptominisat_5.11.21+dfsg1-3build1_ppc64el.deb 23-Jan-2026 02:20 93K
cryptominisat_5.11.21+dfsg1-3build1_riscv64.deb 23-Jan-2026 04:38 94K
cryptominisat_5.11.21+dfsg1-3build1_s390x.deb 23-Jan-2026 02:24 94K
cryptominisat_5.11.21+dfsg1.orig.tar.xz 03-May-2024 12:29 470K
cryptominisat_5.8.0+dfsg1-2.debian.tar.xz 23-Feb-2022 00:24 6264
cryptominisat_5.8.0+dfsg1-2.dsc 23-Feb-2022 00:24 2408
cryptominisat_5.8.0+dfsg1-2_arm64.deb 23-Feb-2022 00:45 87K
cryptominisat_5.8.0+dfsg1-2_armhf.deb 23-Feb-2022 00:45 87K
cryptominisat_5.8.0+dfsg1-2_ppc64el.deb 23-Feb-2022 00:46 97K
cryptominisat_5.8.0+dfsg1-2_riscv64.deb 23-Feb-2022 03:29 94K
cryptominisat_5.8.0+dfsg1-2_s390x.deb 23-Feb-2022 00:46 88K
cryptominisat_5.8.0+dfsg1.orig.tar.xz 13-Jul-2020 18:24 441K
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 02-Apr-2024 02:07 425K
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 02-Apr-2024 02:08 510K
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 02-Apr-2024 06:02 492K
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 03-Apr-2024 22:11 573K
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 02-Apr-2024 12:03 497K
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1..> 03-Jan-2025 15:37 439K
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1..> 03-Jan-2025 15:38 510K
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1..> 03-Jan-2025 15:39 499K
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1..> 03-Jan-2025 19:35 580K
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1..> 03-Jan-2025 15:40 501K
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_arm64..> 25-May-2025 06:49 438K
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_armhf..> 25-May-2025 06:49 507K
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_ppc64..> 25-May-2025 06:49 498K
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_riscv..> 25-May-2025 09:34 579K
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_s390x..> 25-May-2025 06:49 497K
libcryptominisat5-5.11t64_5.11.21+dfsg1-3build1..> 23-Jan-2026 02:14 423K
libcryptominisat5-5.11t64_5.11.21+dfsg1-3build1..> 23-Jan-2026 02:17 504K
libcryptominisat5-5.11t64_5.11.21+dfsg1-3build1..> 23-Jan-2026 02:20 498K
libcryptominisat5-5.11t64_5.11.21+dfsg1-3build1..> 23-Jan-2026 04:38 579K
libcryptominisat5-5.11t64_5.11.21+dfsg1-3build1..> 23-Jan-2026 02:24 492K
libcryptominisat5-5.8_5.8.0+dfsg1-2_arm64.deb 23-Feb-2022 00:45 366K
libcryptominisat5-5.8_5.8.0+dfsg1-2_armhf.deb 23-Feb-2022 00:45 416K
libcryptominisat5-5.8_5.8.0+dfsg1-2_ppc64el.deb 23-Feb-2022 00:46 462K
libcryptominisat5-5.8_5.8.0+dfsg1-2_riscv64.deb 23-Feb-2022 03:29 449K
libcryptominisat5-5.8_5.8.0+dfsg1-2_s390x.deb 23-Feb-2022 00:46 365K
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_a..> 02-Apr-2024 02:07 17K
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_a..> 02-Apr-2024 02:08 17K
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_p..> 02-Apr-2024 06:02 17K
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_r..> 03-Apr-2024 22:11 17K
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_s..> 02-Apr-2024 12:03 17K
libcryptominisat5-dev_5.11.21+dfsg1-1build1_arm..> 03-Jan-2025 15:37 17K
libcryptominisat5-dev_5.11.21+dfsg1-1build1_arm..> 03-Jan-2025 15:38 17K
libcryptominisat5-dev_5.11.21+dfsg1-1build1_ppc..> 03-Jan-2025 15:39 17K
libcryptominisat5-dev_5.11.21+dfsg1-1build1_ris..> 03-Jan-2025 19:35 17K
libcryptominisat5-dev_5.11.21+dfsg1-1build1_s39..> 03-Jan-2025 15:40 17K
libcryptominisat5-dev_5.11.21+dfsg1-2_arm64.deb 25-May-2025 06:49 17K
libcryptominisat5-dev_5.11.21+dfsg1-2_armhf.deb 25-May-2025 06:49 17K
libcryptominisat5-dev_5.11.21+dfsg1-2_ppc64el.deb 25-May-2025 06:49 17K
libcryptominisat5-dev_5.11.21+dfsg1-2_riscv64.deb 25-May-2025 09:34 17K
libcryptominisat5-dev_5.11.21+dfsg1-2_s390x.deb 25-May-2025 06:49 17K
libcryptominisat5-dev_5.11.21+dfsg1-3build1_arm..> 23-Jan-2026 02:14 17K
libcryptominisat5-dev_5.11.21+dfsg1-3build1_arm..> 23-Jan-2026 02:17 17K
libcryptominisat5-dev_5.11.21+dfsg1-3build1_ppc..> 23-Jan-2026 02:20 17K
libcryptominisat5-dev_5.11.21+dfsg1-3build1_ris..> 23-Jan-2026 04:38 17K
libcryptominisat5-dev_5.11.21+dfsg1-3build1_s39..> 23-Jan-2026 02:24 17K
libcryptominisat5-dev_5.8.0+dfsg1-2_arm64.deb 23-Feb-2022 00:45 13K
libcryptominisat5-dev_5.8.0+dfsg1-2_armhf.deb 23-Feb-2022 00:45 13K
libcryptominisat5-dev_5.8.0+dfsg1-2_ppc64el.deb 23-Feb-2022 00:46 13K
libcryptominisat5-dev_5.8.0+dfsg1-2_riscv64.deb 23-Feb-2022 03:29 13K
libcryptominisat5-dev_5.8.0+dfsg1-2_s390x.deb 23-Feb-2022 00:46 13K
python3-cryptominisat_5.11.15+dfsg1-1.1build1_a..> 02-Apr-2024 02:07 507K
python3-cryptominisat_5.11.15+dfsg1-1.1build1_a..> 02-Apr-2024 02:08 512K
python3-cryptominisat_5.11.15+dfsg1-1.1build1_p..> 02-Apr-2024 06:02 620K
python3-cryptominisat_5.11.15+dfsg1-1.1build1_r..> 03-Apr-2024 22:11 593K
python3-cryptominisat_5.11.15+dfsg1-1.1build1_s..> 02-Apr-2024 12:03 580K
python3-cryptominisat_5.11.21+dfsg1-1build1_arm..> 03-Jan-2025 15:37 565K
python3-cryptominisat_5.11.21+dfsg1-1build1_arm..> 03-Jan-2025 15:38 571K
python3-cryptominisat_5.11.21+dfsg1-1build1_ppc..> 03-Jan-2025 15:39 669K
python3-cryptominisat_5.11.21+dfsg1-1build1_ris..> 03-Jan-2025 19:35 653K
python3-cryptominisat_5.11.21+dfsg1-1build1_s39..> 03-Jan-2025 15:40 621K
python3-cryptominisat_5.11.21+dfsg1-2_arm64.deb 25-May-2025 06:49 571K
python3-cryptominisat_5.11.21+dfsg1-2_armhf.deb 25-May-2025 06:49 576K
python3-cryptominisat_5.11.21+dfsg1-2_ppc64el.deb 25-May-2025 06:49 677K
python3-cryptominisat_5.11.21+dfsg1-2_riscv64.deb 25-May-2025 09:34 661K
python3-cryptominisat_5.11.21+dfsg1-2_s390x.deb 25-May-2025 06:49 628K
python3-cryptominisat_5.11.21+dfsg1-3build1_arm..> 23-Jan-2026 02:14 555K
python3-cryptominisat_5.11.21+dfsg1-3build1_arm..> 23-Jan-2026 02:17 574K
python3-cryptominisat_5.11.21+dfsg1-3build1_ppc..> 23-Jan-2026 02:20 681K
python3-cryptominisat_5.11.21+dfsg1-3build1_ris..> 23-Jan-2026 04:38 662K
python3-cryptominisat_5.11.21+dfsg1-3build1_s39..> 23-Jan-2026 02:24 622K
python3-cryptominisat_5.8.0+dfsg1-2_arm64.deb 23-Feb-2022 00:45 19K
python3-cryptominisat_5.8.0+dfsg1-2_armhf.deb 23-Feb-2022 00:45 18K
python3-cryptominisat_5.8.0+dfsg1-2_ppc64el.deb 23-Feb-2022 00:46 20K
python3-cryptominisat_5.8.0+dfsg1-2_riscv64.deb 23-Feb-2022 03:29 19K
python3-cryptominisat_5.8.0+dfsg1-2_s390x.deb 23-Feb-2022 00:46 19K