Index of /ubuntu-ports/pool/universe/c/cryptominisat/
../
cryptominisat_5.11.15+dfsg1-1.1build1.debian.ta..> 01-Apr-2024 01:36 5720
cryptominisat_5.11.15+dfsg1-1.1build1.dsc 01-Apr-2024 01:36 2621
cryptominisat_5.11.15+dfsg1-1.1build1_arm64.deb 02-Apr-2024 08:07 77K
cryptominisat_5.11.15+dfsg1-1.1build1_armhf.deb 02-Apr-2024 08:08 77K
cryptominisat_5.11.15+dfsg1-1.1build1_ppc64el.deb 02-Apr-2024 12:02 84K
cryptominisat_5.11.15+dfsg1-1.1build1_riscv64.deb 04-Apr-2024 04:11 84K
cryptominisat_5.11.15+dfsg1-1.1build1_s390x.deb 02-Apr-2024 18:03 83K
cryptominisat_5.11.15+dfsg1.orig.tar.xz 15-Dec-2023 00:37 464K
cryptominisat_5.11.21+dfsg1-1.debian.tar.xz 03-May-2024 18:29 6620
cryptominisat_5.11.21+dfsg1-1.dsc 03-May-2024 18:29 2498
cryptominisat_5.11.21+dfsg1-1_arm64.deb 06-May-2024 00:38 84K
cryptominisat_5.11.21+dfsg1-1_armhf.deb 09-May-2024 18:31 86K
cryptominisat_5.11.21+dfsg1-1_ppc64el.deb 03-May-2024 19:05 93K
cryptominisat_5.11.21+dfsg1-1_riscv64.deb 05-May-2024 18:18 94K
cryptominisat_5.11.21+dfsg1-1_s390x.deb 03-May-2024 19:40 93K
cryptominisat_5.11.21+dfsg1-1build1.debian.tar.xz 03-Jan-2025 21:35 6704
cryptominisat_5.11.21+dfsg1-1build1.dsc 03-Jan-2025 21:36 2497
cryptominisat_5.11.21+dfsg1-1build1_arm64.deb 03-Jan-2025 21:37 85K
cryptominisat_5.11.21+dfsg1-1build1_armhf.deb 03-Jan-2025 21:38 87K
cryptominisat_5.11.21+dfsg1-1build1_ppc64el.deb 03-Jan-2025 21:39 94K
cryptominisat_5.11.21+dfsg1-1build1_riscv64.deb 04-Jan-2025 01:35 94K
cryptominisat_5.11.21+dfsg1-1build1_s390x.deb 03-Jan-2025 21:40 95K
cryptominisat_5.11.21+dfsg1.orig.tar.xz 03-May-2024 18:29 470K
cryptominisat_5.8.0+dfsg1-2.debian.tar.xz 23-Feb-2022 06:24 6264
cryptominisat_5.8.0+dfsg1-2.dsc 23-Feb-2022 06:24 2408
cryptominisat_5.8.0+dfsg1-2_arm64.deb 23-Feb-2022 06:45 87K
cryptominisat_5.8.0+dfsg1-2_armhf.deb 23-Feb-2022 06:45 87K
cryptominisat_5.8.0+dfsg1-2_ppc64el.deb 23-Feb-2022 06:46 97K
cryptominisat_5.8.0+dfsg1-2_riscv64.deb 23-Feb-2022 09:29 94K
cryptominisat_5.8.0+dfsg1-2_s390x.deb 23-Feb-2022 06:46 88K
cryptominisat_5.8.0+dfsg1.orig.tar.xz 14-Jul-2020 00:24 441K
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 02-Apr-2024 08:07 425K
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 02-Apr-2024 08:08 510K
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 02-Apr-2024 12:02 492K
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 04-Apr-2024 04:11 573K
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 02-Apr-2024 18:03 497K
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_arm64..> 06-May-2024 00:38 426K
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_armhf..> 09-May-2024 18:31 501K
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_ppc64..> 03-May-2024 19:05 490K
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_riscv..> 05-May-2024 18:18 572K
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_s390x..> 03-May-2024 19:40 495K
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1..> 03-Jan-2025 21:37 439K
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1..> 03-Jan-2025 21:38 510K
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1..> 03-Jan-2025 21:39 499K
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1..> 04-Jan-2025 01:35 580K
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1..> 03-Jan-2025 21:40 501K
libcryptominisat5-5.8_5.8.0+dfsg1-2_arm64.deb 23-Feb-2022 06:45 366K
libcryptominisat5-5.8_5.8.0+dfsg1-2_armhf.deb 23-Feb-2022 06:45 416K
libcryptominisat5-5.8_5.8.0+dfsg1-2_ppc64el.deb 23-Feb-2022 06:46 462K
libcryptominisat5-5.8_5.8.0+dfsg1-2_riscv64.deb 23-Feb-2022 09:29 449K
libcryptominisat5-5.8_5.8.0+dfsg1-2_s390x.deb 23-Feb-2022 06:46 365K
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_a..> 02-Apr-2024 08:07 17K
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_a..> 02-Apr-2024 08:08 17K
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_p..> 02-Apr-2024 12:02 17K
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_r..> 04-Apr-2024 04:11 17K
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_s..> 02-Apr-2024 18:03 17K
libcryptominisat5-dev_5.11.21+dfsg1-1_arm64.deb 06-May-2024 00:38 17K
libcryptominisat5-dev_5.11.21+dfsg1-1_armhf.deb 09-May-2024 18:31 17K
libcryptominisat5-dev_5.11.21+dfsg1-1_ppc64el.deb 03-May-2024 19:05 17K
libcryptominisat5-dev_5.11.21+dfsg1-1_riscv64.deb 05-May-2024 18:18 17K
libcryptominisat5-dev_5.11.21+dfsg1-1_s390x.deb 03-May-2024 19:40 17K
libcryptominisat5-dev_5.11.21+dfsg1-1build1_arm..> 03-Jan-2025 21:37 17K
libcryptominisat5-dev_5.11.21+dfsg1-1build1_arm..> 03-Jan-2025 21:38 17K
libcryptominisat5-dev_5.11.21+dfsg1-1build1_ppc..> 03-Jan-2025 21:39 17K
libcryptominisat5-dev_5.11.21+dfsg1-1build1_ris..> 04-Jan-2025 01:35 17K
libcryptominisat5-dev_5.11.21+dfsg1-1build1_s39..> 03-Jan-2025 21:40 17K
libcryptominisat5-dev_5.8.0+dfsg1-2_arm64.deb 23-Feb-2022 06:45 13K
libcryptominisat5-dev_5.8.0+dfsg1-2_armhf.deb 23-Feb-2022 06:45 13K
libcryptominisat5-dev_5.8.0+dfsg1-2_ppc64el.deb 23-Feb-2022 06:46 13K
libcryptominisat5-dev_5.8.0+dfsg1-2_riscv64.deb 23-Feb-2022 09:29 13K
libcryptominisat5-dev_5.8.0+dfsg1-2_s390x.deb 23-Feb-2022 06:46 13K
python3-cryptominisat_5.11.15+dfsg1-1.1build1_a..> 02-Apr-2024 08:07 507K
python3-cryptominisat_5.11.15+dfsg1-1.1build1_a..> 02-Apr-2024 08:08 512K
python3-cryptominisat_5.11.15+dfsg1-1.1build1_p..> 02-Apr-2024 12:02 620K
python3-cryptominisat_5.11.15+dfsg1-1.1build1_r..> 04-Apr-2024 04:11 593K
python3-cryptominisat_5.11.15+dfsg1-1.1build1_s..> 02-Apr-2024 18:03 580K
python3-cryptominisat_5.11.21+dfsg1-1_arm64.deb 06-May-2024 00:38 508K
python3-cryptominisat_5.11.21+dfsg1-1_armhf.deb 09-May-2024 18:31 511K
python3-cryptominisat_5.11.21+dfsg1-1_ppc64el.deb 03-May-2024 19:05 613K
python3-cryptominisat_5.11.21+dfsg1-1_riscv64.deb 05-May-2024 18:18 592K
python3-cryptominisat_5.11.21+dfsg1-1_s390x.deb 03-May-2024 19:40 573K
python3-cryptominisat_5.11.21+dfsg1-1build1_arm..> 03-Jan-2025 21:37 565K
python3-cryptominisat_5.11.21+dfsg1-1build1_arm..> 03-Jan-2025 21:38 571K
python3-cryptominisat_5.11.21+dfsg1-1build1_ppc..> 03-Jan-2025 21:39 669K
python3-cryptominisat_5.11.21+dfsg1-1build1_ris..> 04-Jan-2025 01:35 653K
python3-cryptominisat_5.11.21+dfsg1-1build1_s39..> 03-Jan-2025 21:40 621K
python3-cryptominisat_5.8.0+dfsg1-2_arm64.deb 23-Feb-2022 06:45 19K
python3-cryptominisat_5.8.0+dfsg1-2_armhf.deb 23-Feb-2022 06:45 18K
python3-cryptominisat_5.8.0+dfsg1-2_ppc64el.deb 23-Feb-2022 06:46 20K
python3-cryptominisat_5.8.0+dfsg1-2_riscv64.deb 23-Feb-2022 09:29 19K
python3-cryptominisat_5.8.0+dfsg1-2_s390x.deb 23-Feb-2022 06:46 19K