| Parent directory/ | - | - |
| cryptominisat_5.11.21+dfsg1-1+b3_amd64.deb | 89K | 07-Jan-2025 17:47 |
| cryptominisat_5.11.21+dfsg1-1+b3_arm64.deb | 79K | 07-Jan-2025 18:02 |
| cryptominisat_5.11.21+dfsg1-1+b3_armel.deb | 79K | 07-Jan-2025 18:13 |
| cryptominisat_5.11.21+dfsg1-1+b3_armhf.deb | 81K | 07-Jan-2025 18:28 |
| cryptominisat_5.11.21+dfsg1-1+b3_i386.deb | 95K | 07-Jan-2025 18:02 |
| cryptominisat_5.11.21+dfsg1-1+b3_mips64el.deb | 83K | 07-Jan-2025 18:23 |
| cryptominisat_5.11.21+dfsg1-1+b3_ppc64el.deb | 89K | 08-Jan-2025 01:39 |
| cryptominisat_5.11.21+dfsg1-1+b3_riscv64.deb | 87K | 07-Jan-2025 19:26 |
| cryptominisat_5.11.21+dfsg1-1+b3_s390x.deb | 86K | 09-Jan-2025 13:08 |
| cryptominisat_5.11.21+dfsg1-1.debian.tar.xz | 6620 | 03-May-2024 10:30 |
| cryptominisat_5.11.21+dfsg1-1.dsc | 2498 | 03-May-2024 10:30 |
| cryptominisat_5.11.21+dfsg1.orig.tar.xz | 470K | 03-May-2024 10:30 |
| cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb | 75K | 03-Jan-2023 10:27 |
| cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb | 69K | 03-Jan-2023 10:58 |
| cryptominisat_5.11.4+dfsg1-2+b1_armel.deb | 66K | 03-Jan-2023 10:59 |
| cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb | 67K | 03-Jan-2023 10:58 |
| cryptominisat_5.11.4+dfsg1-2+b1_i386.deb | 79K | 03-Jan-2023 11:45 |
| cryptominisat_5.11.4+dfsg1-2+b1_mips64el.deb | 70K | 03-Jan-2023 10:12 |
| cryptominisat_5.11.4+dfsg1-2+b1_mipsel.deb | 71K | 03-Jan-2023 10:43 |
| cryptominisat_5.11.4+dfsg1-2+b1_ppc64el.deb | 77K | 05-Jan-2023 03:55 |
| cryptominisat_5.11.4+dfsg1-2+b1_s390x.deb | 69K | 06-Jan-2023 04:56 |
| cryptominisat_5.11.4+dfsg1-2.debian.tar.xz | 5360 | 03-Nov-2022 23:09 |
| cryptominisat_5.11.4+dfsg1-2.dsc | 2459 | 03-Nov-2022 23:09 |
| cryptominisat_5.11.4+dfsg1.orig.tar.xz | 518K | 29-Oct-2022 01:20 |
| cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb | 86K | 12-Dec-2020 18:13 |
| cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb | 81K | 12-Dec-2020 16:00 |
| cryptominisat_5.8.0+dfsg1-1+b3_armel.deb | 78K | 12-Dec-2020 17:11 |
| cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb | 80K | 12-Dec-2020 19:26 |
| cryptominisat_5.8.0+dfsg1-1+b3_i386.deb | 91K | 12-Dec-2020 18:39 |
| cryptominisat_5.8.0+dfsg1-1+b3_mips64el.deb | 81K | 13-Dec-2020 03:25 |
| cryptominisat_5.8.0+dfsg1-1+b3_mipsel.deb | 83K | 13-Dec-2020 14:56 |
| cryptominisat_5.8.0+dfsg1-1+b3_ppc64el.deb | 90K | 12-Dec-2020 20:28 |
| cryptominisat_5.8.0+dfsg1-1+b3_s390x.deb | 81K | 13-Dec-2020 01:57 |
| cryptominisat_5.8.0+dfsg1-1.debian.tar.xz | 6188 | 11-Jul-2020 18:16 |
| cryptominisat_5.8.0+dfsg1-1.dsc | 2408 | 11-Jul-2020 18:16 |
| cryptominisat_5.8.0+dfsg1.orig.tar.xz | 441K | 11-Jul-2020 18:16 |
| libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_amd64.deb | 490K | 03-Jan-2023 10:27 |
| libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_arm64.deb | 440K | 03-Jan-2023 10:58 |
| libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armel.deb | 432K | 03-Jan-2023 10:59 |
| libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armhf.deb | 450K | 03-Jan-2023 10:58 |
| libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_i386.deb | 516K | 03-Jan-2023 11:45 |
| libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_mips64el.deb | 463K | 03-Jan-2023 10:12 |
| libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_mipsel.deb | 477K | 03-Jan-2023 10:43 |
| libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_ppc64el.deb | 530K | 05-Jan-2023 03:55 |
| libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_s390x.deb | 449K | 06-Jan-2023 04:56 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_amd64.deb | 509K | 07-Jan-2025 17:47 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_arm64.deb | 461K | 07-Jan-2025 18:02 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_armel.deb | 448K | 07-Jan-2025 18:13 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_armhf.deb | 466K | 07-Jan-2025 18:28 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_i386.deb | 535K | 07-Jan-2025 18:02 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_mips64el.deb | 474K | 07-Jan-2025 18:23 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_ppc64el.deb | 541K | 08-Jan-2025 01:39 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_riscv64.deb | 534K | 07-Jan-2025 19:26 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_s390x.deb | 537K | 09-Jan-2025 13:08 |
| libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_amd64.deb | 406K | 12-Dec-2020 18:13 |
| libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_arm64.deb | 370K | 12-Dec-2020 16:00 |
| libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_armel.deb | 366K | 12-Dec-2020 17:11 |
| libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_armhf.deb | 376K | 12-Dec-2020 19:26 |
| libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_i386.deb | 432K | 12-Dec-2020 18:39 |
| libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_mips64el.deb | 389K | 13-Dec-2020 03:25 |
| libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_mipsel.deb | 405K | 13-Dec-2020 14:56 |
| libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_ppc64el.deb | 445K | 12-Dec-2020 20:28 |
| libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_s390x.deb | 372K | 13-Dec-2020 01:57 |
| libcryptominisat5-dev_5.11.21+dfsg1-1+b3_amd64.deb | 19K | 07-Jan-2025 17:47 |
| libcryptominisat5-dev_5.11.21+dfsg1-1+b3_arm64.deb | 19K | 07-Jan-2025 18:02 |
| libcryptominisat5-dev_5.11.21+dfsg1-1+b3_armel.deb | 19K | 07-Jan-2025 18:13 |
| libcryptominisat5-dev_5.11.21+dfsg1-1+b3_armhf.deb | 19K | 07-Jan-2025 18:28 |
| libcryptominisat5-dev_5.11.21+dfsg1-1+b3_i386.deb | 19K | 07-Jan-2025 18:02 |
| libcryptominisat5-dev_5.11.21+dfsg1-1+b3_mips64el.deb | 19K | 07-Jan-2025 18:23 |
| libcryptominisat5-dev_5.11.21+dfsg1-1+b3_ppc64el.deb | 19K | 08-Jan-2025 01:39 |
| libcryptominisat5-dev_5.11.21+dfsg1-1+b3_riscv64.deb | 19K | 07-Jan-2025 19:26 |
| libcryptominisat5-dev_5.11.21+dfsg1-1+b3_s390x.deb | 19K | 09-Jan-2025 13:08 |
| libcryptominisat5-dev_5.11.4+dfsg1-2+b1_amd64.deb | 18K | 03-Jan-2023 10:27 |
| libcryptominisat5-dev_5.11.4+dfsg1-2+b1_arm64.deb | 18K | 03-Jan-2023 10:58 |
| libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armel.deb | 18K | 03-Jan-2023 10:59 |
| libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armhf.deb | 18K | 03-Jan-2023 10:58 |
| libcryptominisat5-dev_5.11.4+dfsg1-2+b1_i386.deb | 18K | 03-Jan-2023 11:45 |
| libcryptominisat5-dev_5.11.4+dfsg1-2+b1_mips64el.deb | 18K | 03-Jan-2023 10:12 |
| libcryptominisat5-dev_5.11.4+dfsg1-2+b1_mipsel.deb | 18K | 03-Jan-2023 10:43 |
| libcryptominisat5-dev_5.11.4+dfsg1-2+b1_ppc64el.deb | 18K | 05-Jan-2023 03:55 |
| libcryptominisat5-dev_5.11.4+dfsg1-2+b1_s390x.deb | 18K | 06-Jan-2023 04:56 |
| libcryptominisat5-dev_5.8.0+dfsg1-1+b3_amd64.deb | 14K | 12-Dec-2020 18:13 |
| libcryptominisat5-dev_5.8.0+dfsg1-1+b3_arm64.deb | 14K | 12-Dec-2020 16:00 |
| libcryptominisat5-dev_5.8.0+dfsg1-1+b3_armel.deb | 14K | 12-Dec-2020 17:11 |
| libcryptominisat5-dev_5.8.0+dfsg1-1+b3_armhf.deb | 14K | 12-Dec-2020 19:26 |
| libcryptominisat5-dev_5.8.0+dfsg1-1+b3_i386.deb | 14K | 12-Dec-2020 18:39 |
| libcryptominisat5-dev_5.8.0+dfsg1-1+b3_mips64el.deb | 14K | 13-Dec-2020 03:25 |
| libcryptominisat5-dev_5.8.0+dfsg1-1+b3_mipsel.deb | 14K | 13-Dec-2020 14:56 |
| libcryptominisat5-dev_5.8.0+dfsg1-1+b3_ppc64el.deb | 14K | 12-Dec-2020 20:28 |
| libcryptominisat5-dev_5.8.0+dfsg1-1+b3_s390x.deb | 14K | 13-Dec-2020 01:57 |
| python3-cryptominisat_5.11.21+dfsg1-1+b3_amd64.deb | 577K | 07-Jan-2025 17:47 |
| python3-cryptominisat_5.11.21+dfsg1-1+b3_arm64.deb | 530K | 07-Jan-2025 18:02 |
| python3-cryptominisat_5.11.21+dfsg1-1+b3_armel.deb | 512K | 07-Jan-2025 18:13 |
| python3-cryptominisat_5.11.21+dfsg1-1+b3_armhf.deb | 525K | 07-Jan-2025 18:28 |
| python3-cryptominisat_5.11.21+dfsg1-1+b3_i386.deb | 632K | 07-Jan-2025 18:02 |
| python3-cryptominisat_5.11.21+dfsg1-1+b3_mips64el.deb | 540K | 07-Jan-2025 18:23 |
| python3-cryptominisat_5.11.21+dfsg1-1+b3_ppc64el.deb | 603K | 08-Jan-2025 01:39 |
| python3-cryptominisat_5.11.21+dfsg1-1+b3_riscv64.deb | 598K | 07-Jan-2025 19:26 |
| python3-cryptominisat_5.11.21+dfsg1-1+b3_s390x.deb | 599K | 09-Jan-2025 13:08 |
| python3-cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb | 520K | 03-Jan-2023 10:27 |
| python3-cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb | 479K | 03-Jan-2023 10:58 |
| python3-cryptominisat_5.11.4+dfsg1-2+b1_armel.deb | 462K | 03-Jan-2023 10:59 |
| python3-cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb | 473K | 03-Jan-2023 10:58 |
| python3-cryptominisat_5.11.4+dfsg1-2+b1_i386.deb | 576K | 03-Jan-2023 11:45 |
| python3-cryptominisat_5.11.4+dfsg1-2+b1_mips64el.deb | 494K | 03-Jan-2023 10:12 |
| python3-cryptominisat_5.11.4+dfsg1-2+b1_mipsel.deb | 511K | 03-Jan-2023 10:43 |
| python3-cryptominisat_5.11.4+dfsg1-2+b1_ppc64el.deb | 556K | 05-Jan-2023 03:55 |
| python3-cryptominisat_5.11.4+dfsg1-2+b1_s390x.deb | 483K | 06-Jan-2023 04:56 |
| python3-cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb | 19K | 12-Dec-2020 18:13 |
| python3-cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb | 18K | 12-Dec-2020 16:00 |
| python3-cryptominisat_5.8.0+dfsg1-1+b3_armel.deb | 18K | 12-Dec-2020 17:11 |
| python3-cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb | 18K | 12-Dec-2020 19:26 |
| python3-cryptominisat_5.8.0+dfsg1-1+b3_i386.deb | 19K | 12-Dec-2020 18:39 |
| python3-cryptominisat_5.8.0+dfsg1-1+b3_mips64el.deb | 19K | 13-Dec-2020 03:25 |
| python3-cryptominisat_5.8.0+dfsg1-1+b3_mipsel.deb | 19K | 13-Dec-2020 14:56 |
| python3-cryptominisat_5.8.0+dfsg1-1+b3_ppc64el.deb | 20K | 12-Dec-2020 20:28 |
| python3-cryptominisat_5.8.0+dfsg1-1+b3_s390x.deb | 18K | 13-Dec-2020 01:57 |
