Index of /ubuntu-ports/pool/universe/c/cryptominisat/
../ cryptominisat_5.11.4+dfsg1-2.debian.tar.xz 06-Nov-2022 10:16 5360 cryptominisat_5.11.4+dfsg1-2.dsc 06-Nov-2022 10:16 2459 cryptominisat_5.11.4+dfsg1-2_arm64.deb 05-Dec-2022 23:25 73K cryptominisat_5.11.4+dfsg1-2_armhf.deb 05-Dec-2022 23:25 73K cryptominisat_5.11.4+dfsg1-2_ppc64el.deb 05-Dec-2022 23:25 80K cryptominisat_5.11.4+dfsg1-2_riscv64.deb 05-Dec-2022 23:25 79K cryptominisat_5.11.4+dfsg1-2_s390x.deb 05-Dec-2022 23:25 75K cryptominisat_5.11.4+dfsg1-2build1.debian.tar.xz 26-Dec-2022 03:25 5436 cryptominisat_5.11.4+dfsg1-2build1.dsc 26-Dec-2022 03:25 2462 cryptominisat_5.11.4+dfsg1-2build1_arm64.deb 26-Dec-2022 03:26 73K cryptominisat_5.11.4+dfsg1-2build1_armhf.deb 26-Dec-2022 03:27 73K cryptominisat_5.11.4+dfsg1-2build1_ppc64el.deb 26-Dec-2022 03:27 80K cryptominisat_5.11.4+dfsg1-2build1_riscv64.deb 26-Dec-2022 04:54 79K cryptominisat_5.11.4+dfsg1-2build1_s390x.deb 26-Dec-2022 03:27 75K cryptominisat_5.11.4+dfsg1.orig.tar.xz 06-Nov-2022 10:16 518K 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.11_5.11.4+dfsg1-2_arm64.deb 05-Dec-2022 23:25 416K libcryptominisat5-5.11_5.11.4+dfsg1-2_armhf.deb 05-Dec-2022 23:25 495K libcryptominisat5-5.11_5.11.4+dfsg1-2_ppc64el.deb 05-Dec-2022 23:25 481K libcryptominisat5-5.11_5.11.4+dfsg1-2_riscv64.deb 05-Dec-2022 23:25 535K libcryptominisat5-5.11_5.11.4+dfsg1-2_s390x.deb 05-Dec-2022 23:25 421K libcryptominisat5-5.11_5.11.4+dfsg1-2build1_arm..> 26-Dec-2022 03:26 416K libcryptominisat5-5.11_5.11.4+dfsg1-2build1_arm..> 26-Dec-2022 03:27 495K libcryptominisat5-5.11_5.11.4+dfsg1-2build1_ppc..> 26-Dec-2022 03:27 481K libcryptominisat5-5.11_5.11.4+dfsg1-2build1_ris..> 26-Dec-2022 04:54 535K libcryptominisat5-5.11_5.11.4+dfsg1-2build1_s39..> 26-Dec-2022 03:27 421K 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.4+dfsg1-2_arm64.deb 05-Dec-2022 23:25 17K libcryptominisat5-dev_5.11.4+dfsg1-2_armhf.deb 05-Dec-2022 23:25 17K libcryptominisat5-dev_5.11.4+dfsg1-2_ppc64el.deb 05-Dec-2022 23:25 17K libcryptominisat5-dev_5.11.4+dfsg1-2_riscv64.deb 05-Dec-2022 23:25 17K libcryptominisat5-dev_5.11.4+dfsg1-2_s390x.deb 05-Dec-2022 23:25 17K libcryptominisat5-dev_5.11.4+dfsg1-2build1_arm6..> 26-Dec-2022 03:26 17K libcryptominisat5-dev_5.11.4+dfsg1-2build1_armh..> 26-Dec-2022 03:27 17K libcryptominisat5-dev_5.11.4+dfsg1-2build1_ppc6..> 26-Dec-2022 03:27 17K libcryptominisat5-dev_5.11.4+dfsg1-2build1_risc..> 26-Dec-2022 04:54 17K libcryptominisat5-dev_5.11.4+dfsg1-2build1_s390..> 26-Dec-2022 03:27 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.4+dfsg1-2_arm64.deb 05-Dec-2022 23:25 507K python3-cryptominisat_5.11.4+dfsg1-2_armhf.deb 05-Dec-2022 23:25 515K python3-cryptominisat_5.11.4+dfsg1-2_ppc64el.deb 05-Dec-2022 23:25 620K python3-cryptominisat_5.11.4+dfsg1-2_riscv64.deb 05-Dec-2022 23:25 561K python3-cryptominisat_5.11.4+dfsg1-2_s390x.deb 05-Dec-2022 23:25 505K python3-cryptominisat_5.11.4+dfsg1-2build1_arm6..> 26-Dec-2022 03:26 507K python3-cryptominisat_5.11.4+dfsg1-2build1_armh..> 26-Dec-2022 03:27 515K python3-cryptominisat_5.11.4+dfsg1-2build1_ppc6..> 26-Dec-2022 03:27 620K python3-cryptominisat_5.11.4+dfsg1-2build1_risc..> 26-Dec-2022 04:54 561K python3-cryptominisat_5.11.4+dfsg1-2build1_s390..> 26-Dec-2022 03:27 505K 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