Index of /pub/linux/ubuntu-ports/pool/universe/c/cryptominisat
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[ ]](/icons/unknown.gif)
python3-cryptominisat_5.11.21+dfsg1-1build1_s390x.deb 2025-01-03 23:40 621K
python3-cryptominisat_5.11.21+dfsg1-1build1_riscv64.deb 2025-01-04 03:35 653K
python3-cryptominisat_5.11.21+dfsg1-1build1_ppc64el.deb 2025-01-03 23:39 669K
python3-cryptominisat_5.11.21+dfsg1-1build1_armhf.deb 2025-01-03 23:38 571K
python3-cryptominisat_5.11.21+dfsg1-1build1_arm64.deb 2025-01-03 23:37 565K
python3-cryptominisat_5.11.21+dfsg1-1_s390x.deb 2024-05-03 21:40 573K
python3-cryptominisat_5.11.21+dfsg1-1_riscv64.deb 2024-05-05 20:18 592K
python3-cryptominisat_5.11.21+dfsg1-1_ppc64el.deb 2024-05-03 21:05 613K
python3-cryptominisat_5.11.21+dfsg1-1_armhf.deb 2024-05-09 20:31 511K
python3-cryptominisat_5.11.21+dfsg1-1_arm64.deb 2024-05-06 02:38 508K
python3-cryptominisat_5.11.15+dfsg1-1.1build1_s390x.deb 2024-04-02 20:03 580K
python3-cryptominisat_5.11.15+dfsg1-1.1build1_riscv64.deb 2024-04-04 06:11 593K
python3-cryptominisat_5.11.15+dfsg1-1.1build1_ppc64el.deb 2024-04-02 14:02 620K
python3-cryptominisat_5.11.15+dfsg1-1.1build1_armhf.deb 2024-04-02 10:08 512K
python3-cryptominisat_5.11.15+dfsg1-1.1build1_arm64.deb 2024-04-02 10:07 507K
python3-cryptominisat_5.8.0+dfsg1-2_s390x.deb 2022-02-23 08:46 19K
python3-cryptominisat_5.8.0+dfsg1-2_riscv64.deb 2022-02-23 11:29 19K
python3-cryptominisat_5.8.0+dfsg1-2_ppc64el.deb 2022-02-23 08:46 20K
python3-cryptominisat_5.8.0+dfsg1-2_armhf.deb 2022-02-23 08:45 18K
python3-cryptominisat_5.8.0+dfsg1-2_arm64.deb 2022-02-23 08:45 19K
libcryptominisat5-dev_5.11.21+dfsg1-1build1_s390x.deb 2025-01-03 23:40 17K
libcryptominisat5-dev_5.11.21+dfsg1-1build1_riscv64.deb 2025-01-04 03:35 17K
libcryptominisat5-dev_5.11.21+dfsg1-1build1_ppc64el.deb 2025-01-03 23:39 17K
libcryptominisat5-dev_5.11.21+dfsg1-1build1_armhf.deb 2025-01-03 23:38 17K
libcryptominisat5-dev_5.11.21+dfsg1-1build1_arm64.deb 2025-01-03 23:37 17K
libcryptominisat5-dev_5.11.21+dfsg1-1_s390x.deb 2024-05-03 21:40 17K
libcryptominisat5-dev_5.11.21+dfsg1-1_riscv64.deb 2024-05-05 20:18 17K
libcryptominisat5-dev_5.11.21+dfsg1-1_ppc64el.deb 2024-05-03 21:05 17K
libcryptominisat5-dev_5.11.21+dfsg1-1_armhf.deb 2024-05-09 20:31 17K
libcryptominisat5-dev_5.11.21+dfsg1-1_arm64.deb 2024-05-06 02:38 17K
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_s390x.deb 2024-04-02 20:03 17K
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_riscv64.deb 2024-04-04 06:11 17K
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_ppc64el.deb 2024-04-02 14:02 17K
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_armhf.deb 2024-04-02 10:08 17K
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_arm64.deb 2024-04-02 10:07 17K
libcryptominisat5-dev_5.8.0+dfsg1-2_s390x.deb 2022-02-23 08:46 13K
libcryptominisat5-dev_5.8.0+dfsg1-2_riscv64.deb 2022-02-23 11:29 13K
libcryptominisat5-dev_5.8.0+dfsg1-2_ppc64el.deb 2022-02-23 08:46 13K
libcryptominisat5-dev_5.8.0+dfsg1-2_armhf.deb 2022-02-23 08:45 13K
libcryptominisat5-dev_5.8.0+dfsg1-2_arm64.deb 2022-02-23 08:45 13K
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_s390x.deb 2025-01-03 23:40 501K
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_riscv64.deb 2025-01-04 03:35 580K
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_ppc64el.deb 2025-01-03 23:39 499K
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_armhf.deb 2025-01-03 23:38 510K
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_arm64.deb 2025-01-03 23:37 439K
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_s390x.deb 2024-05-03 21:40 495K
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_riscv64.deb 2024-05-05 20:18 572K
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_ppc64el.deb 2024-05-03 21:05 490K
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_armhf.deb 2024-05-09 20:31 501K
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_arm64.deb 2024-05-06 02:38 426K
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_s390x.deb 2024-04-02 20:03 497K
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_riscv64.deb 2024-04-04 06:11 573K
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_ppc64el.deb 2024-04-02 14:02 492K
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_armhf.deb 2024-04-02 10:08 510K
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_arm64.deb 2024-04-02 10:07 425K
libcryptominisat5-5.8_5.8.0+dfsg1-2_s390x.deb 2022-02-23 08:46 365K
libcryptominisat5-5.8_5.8.0+dfsg1-2_riscv64.deb 2022-02-23 11:29 449K
libcryptominisat5-5.8_5.8.0+dfsg1-2_ppc64el.deb 2022-02-23 08:46 462K
libcryptominisat5-5.8_5.8.0+dfsg1-2_armhf.deb 2022-02-23 08:45 416K
libcryptominisat5-5.8_5.8.0+dfsg1-2_arm64.deb 2022-02-23 08:45 366K
cryptominisat_5.11.21+dfsg1.orig.tar.xz 2024-05-03 20:29 470K
cryptominisat_5.11.21+dfsg1-1build1_s390x.deb 2025-01-03 23:40 95K
cryptominisat_5.11.21+dfsg1-1build1_riscv64.deb 2025-01-04 03:35 94K
cryptominisat_5.11.21+dfsg1-1build1_ppc64el.deb 2025-01-03 23:39 94K
cryptominisat_5.11.21+dfsg1-1build1_armhf.deb 2025-01-03 23:38 87K
cryptominisat_5.11.21+dfsg1-1build1_arm64.deb 2025-01-03 23:37 85K
![[TXT]](/icons/text.gif)
cryptominisat_5.11.21+dfsg1-1build1.dsc 2025-01-03 23:36 2.4K
cryptominisat_5.11.21+dfsg1-1build1.debian.tar.xz 2025-01-03 23:35 6.5K
cryptominisat_5.11.21+dfsg1-1_s390x.deb 2024-05-03 21:40 93K
cryptominisat_5.11.21+dfsg1-1_riscv64.deb 2024-05-05 20:18 94K
cryptominisat_5.11.21+dfsg1-1_ppc64el.deb 2024-05-03 21:05 93K
cryptominisat_5.11.21+dfsg1-1_armhf.deb 2024-05-09 20:31 86K
cryptominisat_5.11.21+dfsg1-1_arm64.deb 2024-05-06 02:38 84K
cryptominisat_5.11.21+dfsg1-1.dsc 2024-05-03 20:29 2.4K
cryptominisat_5.11.21+dfsg1-1.debian.tar.xz 2024-05-03 20:29 6.5K
cryptominisat_5.11.15+dfsg1.orig.tar.xz 2023-12-15 02:37 464K
cryptominisat_5.11.15+dfsg1-1.1build1_s390x.deb 2024-04-02 20:03 83K
cryptominisat_5.11.15+dfsg1-1.1build1_riscv64.deb 2024-04-04 06:11 84K
cryptominisat_5.11.15+dfsg1-1.1build1_ppc64el.deb 2024-04-02 14:02 84K
cryptominisat_5.11.15+dfsg1-1.1build1_armhf.deb 2024-04-02 10:08 77K
cryptominisat_5.11.15+dfsg1-1.1build1_arm64.deb 2024-04-02 10:07 77K
cryptominisat_5.11.15+dfsg1-1.1build1.dsc 2024-04-01 03:36 2.6K
cryptominisat_5.11.15+dfsg1-1.1build1.debian.tar.xz 2024-04-01 03:36 5.6K
cryptominisat_5.8.0+dfsg1.orig.tar.xz 2020-07-14 02:24 441K
cryptominisat_5.8.0+dfsg1-2_s390x.deb 2022-02-23 08:46 88K
cryptominisat_5.8.0+dfsg1-2_riscv64.deb 2022-02-23 11:29 94K
cryptominisat_5.8.0+dfsg1-2_ppc64el.deb 2022-02-23 08:46 97K
cryptominisat_5.8.0+dfsg1-2_armhf.deb 2022-02-23 08:45 87K
cryptominisat_5.8.0+dfsg1-2_arm64.deb 2022-02-23 08:45 87K
cryptominisat_5.8.0+dfsg1-2.dsc 2022-02-23 08:24 2.4K
cryptominisat_5.8.0+dfsg1-2.debian.tar.xz 2022-02-23 08:24 6.1K