| Parent directory/ | - | - |
| cryptominisat_5.11.21+dfsg1-2.debian.tar.xz | 6696 | 24-May-2025 22:55 |
| cryptominisat_5.11.21+dfsg1-2.dsc | 2519 | 24-May-2025 22:55 |
| cryptominisat_5.11.21+dfsg1-2_amd64.deb | 89K | 24-May-2025 23:21 |
| cryptominisat_5.11.21+dfsg1-2_arm64.deb | 79K | 24-May-2025 23:32 |
| cryptominisat_5.11.21+dfsg1-2_i386.deb | 95K | 24-May-2025 23:21 |
| cryptominisat_5.11.21+dfsg1-2_riscv64.deb | 87K | 25-May-2025 00:08 |
| cryptominisat_5.11.21+dfsg1-3+b1_amd64.deb | 89K | 16-Jan-2026 14:57 |
| cryptominisat_5.11.21+dfsg1-3+b1_arm64.deb | 79K | 16-Jan-2026 14:41 |
| cryptominisat_5.11.21+dfsg1-3+b1_i386.deb | 96K | 16-Jan-2026 16:18 |
| cryptominisat_5.11.21+dfsg1-3+b1_loong64.deb | 84K | 16-Jan-2026 16:18 |
| cryptominisat_5.11.21+dfsg1-3+b1_riscv64.deb | 87K | 16-Jan-2026 17:59 |
| cryptominisat_5.11.21+dfsg1-3.debian.tar.xz | 7020 | 13-Aug-2025 06:03 |
| cryptominisat_5.11.21+dfsg1-3.dsc | 2505 | 13-Aug-2025 06:03 |
| cryptominisat_5.11.21+dfsg1.orig.tar.xz | 470K | 03-May-2024 06:30 |
| cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb | 75K | 03-Jan-2023 06:27 |
| cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb | 69K | 03-Jan-2023 06:58 |
| cryptominisat_5.11.4+dfsg1-2+b1_i386.deb | 79K | 03-Jan-2023 07:45 |
| cryptominisat_5.11.4+dfsg1-2.debian.tar.xz | 5360 | 03-Nov-2022 19:09 |
| cryptominisat_5.11.4+dfsg1-2.dsc | 2459 | 03-Nov-2022 19:09 |
| cryptominisat_5.11.4+dfsg1.orig.tar.xz | 518K | 28-Oct-2022 21:20 |
| cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb | 86K | 12-Dec-2020 14:13 |
| cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb | 81K | 12-Dec-2020 12:00 |
| cryptominisat_5.8.0+dfsg1-1+b3_i386.deb | 91K | 12-Dec-2020 14:39 |
| cryptominisat_5.8.0+dfsg1-1.debian.tar.xz | 6188 | 11-Jul-2020 14:16 |
| cryptominisat_5.8.0+dfsg1-1.dsc | 2408 | 11-Jul-2020 14:16 |
| cryptominisat_5.8.0+dfsg1.orig.tar.xz | 441K | 11-Jul-2020 14:16 |
| libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_amd64.deb | 490K | 03-Jan-2023 06:27 |
| libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_arm64.deb | 440K | 03-Jan-2023 06:58 |
| libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_i386.deb | 516K | 03-Jan-2023 07:45 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-2_amd64..> | 509K | 24-May-2025 23:21 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-2_arm64..> | 461K | 24-May-2025 23:32 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-2_i386.deb | 536K | 24-May-2025 23:21 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-2_riscv..> | 534K | 25-May-2025 00:08 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b1_am..> | 509K | 16-Jan-2026 14:57 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b1_ar..> | 448K | 16-Jan-2026 14:41 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b1_i3..> | 532K | 16-Jan-2026 16:18 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b1_lo..> | 501K | 16-Jan-2026 16:18 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b1_ri..> | 535K | 16-Jan-2026 17:59 |
| libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_amd64.deb | 406K | 12-Dec-2020 14:13 |
| libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_arm64.deb | 370K | 12-Dec-2020 12:00 |
| libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_i386.deb | 432K | 12-Dec-2020 14:39 |
| libcryptominisat5-dev_5.11.21+dfsg1-2_amd64.deb | 18K | 24-May-2025 23:21 |
| libcryptominisat5-dev_5.11.21+dfsg1-2_arm64.deb | 18K | 24-May-2025 23:32 |
| libcryptominisat5-dev_5.11.21+dfsg1-2_i386.deb | 18K | 24-May-2025 23:21 |
| libcryptominisat5-dev_5.11.21+dfsg1-2_riscv64.deb | 18K | 25-May-2025 00:08 |
| libcryptominisat5-dev_5.11.21+dfsg1-3+b1_amd64.deb | 19K | 16-Jan-2026 14:57 |
| libcryptominisat5-dev_5.11.21+dfsg1-3+b1_arm64.deb | 19K | 16-Jan-2026 14:41 |
| libcryptominisat5-dev_5.11.21+dfsg1-3+b1_i386.deb | 19K | 16-Jan-2026 16:18 |
| libcryptominisat5-dev_5.11.21+dfsg1-3+b1_loong6..> | 19K | 16-Jan-2026 16:18 |
| libcryptominisat5-dev_5.11.21+dfsg1-3+b1_riscv6..> | 19K | 16-Jan-2026 17:59 |
| libcryptominisat5-dev_5.11.4+dfsg1-2+b1_amd64.deb | 18K | 03-Jan-2023 06:27 |
| libcryptominisat5-dev_5.11.4+dfsg1-2+b1_arm64.deb | 18K | 03-Jan-2023 06:58 |
| libcryptominisat5-dev_5.11.4+dfsg1-2+b1_i386.deb | 18K | 03-Jan-2023 07:45 |
| libcryptominisat5-dev_5.8.0+dfsg1-1+b3_amd64.deb | 14K | 12-Dec-2020 14:13 |
| libcryptominisat5-dev_5.8.0+dfsg1-1+b3_arm64.deb | 14K | 12-Dec-2020 12:00 |
| libcryptominisat5-dev_5.8.0+dfsg1-1+b3_i386.deb | 14K | 12-Dec-2020 14:39 |
| python3-cryptominisat_5.11.21+dfsg1-2_amd64.deb | 583K | 24-May-2025 23:21 |
| python3-cryptominisat_5.11.21+dfsg1-2_arm64.deb | 535K | 24-May-2025 23:32 |
| python3-cryptominisat_5.11.21+dfsg1-2_i386.deb | 640K | 24-May-2025 23:21 |
| python3-cryptominisat_5.11.21+dfsg1-2_riscv64.deb | 606K | 25-May-2025 00:08 |
| python3-cryptominisat_5.11.21+dfsg1-3+b1_amd64.deb | 584K | 16-Jan-2026 14:57 |
| python3-cryptominisat_5.11.21+dfsg1-3+b1_arm64.deb | 524K | 16-Jan-2026 14:41 |
| python3-cryptominisat_5.11.21+dfsg1-3+b1_i386.deb | 634K | 16-Jan-2026 16:18 |
| python3-cryptominisat_5.11.21+dfsg1-3+b1_loong6..> | 574K | 16-Jan-2026 16:18 |
| python3-cryptominisat_5.11.21+dfsg1-3+b1_riscv6..> | 605K | 16-Jan-2026 17:59 |
| python3-cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb | 520K | 03-Jan-2023 06:27 |
| python3-cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb | 479K | 03-Jan-2023 06:58 |
| python3-cryptominisat_5.11.4+dfsg1-2+b1_i386.deb | 576K | 03-Jan-2023 07:45 |
| python3-cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb | 19K | 12-Dec-2020 14:13 |
| python3-cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb | 18K | 12-Dec-2020 12:00 |
| python3-cryptominisat_5.8.0+dfsg1-1+b3_i386.deb | 19K | 12-Dec-2020 14:39 |