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