| Parent Directory | - | - | - |
| cryptominisat_5.11.21+dfsg1-2.debian.tar.xz | 24-May-2025 22:55 | 6696 | - |
| cryptominisat_5.11.21+dfsg1-2.dsc | 24-May-2025 22:55 | 2519 | - |
| cryptominisat_5.11.21+dfsg1-2_amd64.deb | 24-May-2025 23:21 | 89K | - |
| cryptominisat_5.11.21+dfsg1-2_arm64.deb | 24-May-2025 23:32 | 79K | - |
| cryptominisat_5.11.21+dfsg1-2_armel.deb | 24-May-2025 23:21 | 79K | - |
| cryptominisat_5.11.21+dfsg1-2_armhf.deb | 24-May-2025 23:21 | 82K | - |
| cryptominisat_5.11.21+dfsg1-2_i386.deb | 24-May-2025 23:21 | 95K | - |
| cryptominisat_5.11.21+dfsg1-2_ppc64el.deb | 24-May-2025 23:21 | 89K | - |
| cryptominisat_5.11.21+dfsg1-2_riscv64.deb | 25-May-2025 00:08 | 87K | - |
| cryptominisat_5.11.21+dfsg1-2_s390x.deb | 24-May-2025 23:21 | 86K | - |
| cryptominisat_5.11.21+dfsg1-3+b4_amd64.deb | 02-Oct-2026 09:59 | 91K | - |
| cryptominisat_5.11.21+dfsg1-3+b4_arm64.deb | 02-Oct-2026 09:49 | 78K | - |
| cryptominisat_5.11.21+dfsg1-3+b4_armhf.deb | 02-Oct-2026 09:49 | 82K | - |
| cryptominisat_5.11.21+dfsg1-3+b4_i386.deb | 02-Oct-2026 09:59 | 99K | - |
| cryptominisat_5.11.21+dfsg1-3+b4_loong64.deb | 02-Oct-2026 10:05 | 83K | - |
| cryptominisat_5.11.21+dfsg1-3+b4_ppc64el.deb | 02-Oct-2026 09:49 | 88K | - |
| cryptominisat_5.11.21+dfsg1-3+b4_riscv64.deb | 03-Oct-2026 10:26 | 87K | - |
| cryptominisat_5.11.21+dfsg1-3+b4_s390x.deb | 02-Oct-2026 09:49 | 86K | - |
| cryptominisat_5.11.21+dfsg1-3.debian.tar.xz | 13-Aug-2025 06:03 | 7020 | - |
| cryptominisat_5.11.21+dfsg1-3.dsc | 13-Aug-2025 06:03 | 2505 | - |
| cryptominisat_5.11.21+dfsg1.orig.tar.xz | 03-May-2024 06:30 | 470K | - |
| cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb | 03-Jan-2023 06:27 | 75K | - |
| cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb | 03-Jan-2023 06:58 | 69K | - |
| cryptominisat_5.11.4+dfsg1-2+b1_armel.deb | 03-Jan-2023 06:59 | 66K | - |
| cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb | 03-Jan-2023 06:58 | 67K | - |
| cryptominisat_5.11.4+dfsg1-2+b1_i386.deb | 03-Jan-2023 07:45 | 79K | - |
| cryptominisat_5.11.4+dfsg1-2+b1_mips64el.deb | 03-Jan-2023 06:12 | 70K | - |
| cryptominisat_5.11.4+dfsg1-2+b1_mipsel.deb | 03-Jan-2023 06:43 | 71K | - |
| cryptominisat_5.11.4+dfsg1-2+b1_ppc64el.deb | 04-Jan-2023 23:55 | 77K | - |
| cryptominisat_5.11.4+dfsg1-2+b1_s390x.deb | 06-Jan-2023 00:56 | 69K | - |
| cryptominisat_5.11.4+dfsg1-2.debian.tar.xz | 03-Nov-2022 19:09 | 5360 | - |
| cryptominisat_5.11.4+dfsg1-2.dsc | 03-Nov-2022 19:09 | 2459 | - |
| cryptominisat_5.11.4+dfsg1.orig.tar.xz | 28-Oct-2022 21:20 | 518K | - |
| cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb | 12-Dec-2020 14:13 | 86K | - |
| cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb | 12-Dec-2020 12:00 | 81K | - |
| cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb | 12-Dec-2020 15:26 | 80K | - |
| cryptominisat_5.8.0+dfsg1-1+b3_i386.deb | 12-Dec-2020 14:39 | 91K | - |
| cryptominisat_5.8.0+dfsg1-1.debian.tar.xz | 11-Jul-2020 14:16 | 6188 | - |
| cryptominisat_5.8.0+dfsg1-1.dsc | 11-Jul-2020 14:16 | 2408 | - |
| cryptominisat_5.8.0+dfsg1.orig.tar.xz | 11-Jul-2020 14:16 | 441K | - |
| libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_amd64.deb | 03-Jan-2023 06:27 | 490K | - |
| libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_arm64.deb | 03-Jan-2023 06:58 | 440K | - |
| libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armel.deb | 03-Jan-2023 06:59 | 432K | - |
| libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armhf.deb | 03-Jan-2023 06:58 | 450K | - |
| libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_i386.deb | 03-Jan-2023 07:45 | 516K | - |
| libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_mips64..> | 03-Jan-2023 06:12 | 463K | - |
| libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_mipsel..> | 03-Jan-2023 06:43 | 477K | - |
| libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_ppc64e..> | 04-Jan-2023 23:55 | 530K | - |
| libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_s390x.deb | 06-Jan-2023 00:56 | 449K | - |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-2_amd64..> | 24-May-2025 23:21 | 509K | - |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-2_arm64..> | 24-May-2025 23:32 | 461K | - |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-2_armel..> | 24-May-2025 23:21 | 443K | - |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-2_armhf..> | 24-May-2025 23:21 | 463K | - |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-2_i386.deb | 24-May-2025 23:21 | 536K | - |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-2_ppc64..> | 24-May-2025 23:21 | 543K | - |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-2_riscv..> | 25-May-2025 00:08 | 534K | - |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-2_s390x..> | 24-May-2025 23:21 | 534K | - |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b4_am..> | 02-Oct-2026 09:59 | 529K | - |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b4_ar..> | 02-Oct-2026 09:49 | 448K | - |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b4_ar..> | 02-Oct-2026 09:49 | 460K | - |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b4_i3..> | 02-Oct-2026 09:59 | 538K | - |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b4_lo..> | 02-Oct-2026 10:05 | 496K | - |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b4_pp..> | 02-Oct-2026 09:49 | 559K | - |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b4_ri..> | 03-Oct-2026 10:26 | 533K | - |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b4_s3..> | 02-Oct-2026 09:49 | 531K | - |
| libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_amd64.deb | 12-Dec-2020 14:13 | 406K | - |
| libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_arm64.deb | 12-Dec-2020 12:00 | 370K | - |
| libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_armhf.deb | 12-Dec-2020 15:26 | 376K | - |
| libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_i386.deb | 12-Dec-2020 14:39 | 432K | - |
| libcryptominisat5-dev_5.11.21+dfsg1-2_amd64.deb | 24-May-2025 23:21 | 18K | - |
| libcryptominisat5-dev_5.11.21+dfsg1-2_arm64.deb | 24-May-2025 23:32 | 18K | - |
| libcryptominisat5-dev_5.11.21+dfsg1-2_armel.deb | 24-May-2025 23:21 | 18K | - |
| libcryptominisat5-dev_5.11.21+dfsg1-2_armhf.deb | 24-May-2025 23:21 | 18K | - |
| libcryptominisat5-dev_5.11.21+dfsg1-2_i386.deb | 24-May-2025 23:21 | 18K | - |
| libcryptominisat5-dev_5.11.21+dfsg1-2_ppc64el.deb | 24-May-2025 23:21 | 18K | - |
| libcryptominisat5-dev_5.11.21+dfsg1-2_riscv64.deb | 25-May-2025 00:08 | 18K | - |
| libcryptominisat5-dev_5.11.21+dfsg1-2_s390x.deb | 24-May-2025 23:21 | 18K | - |
| libcryptominisat5-dev_5.11.21+dfsg1-3+b4_amd64.deb | 02-Oct-2026 09:59 | 18K | - |
| libcryptominisat5-dev_5.11.21+dfsg1-3+b4_arm64.deb | 02-Oct-2026 09:49 | 18K | - |
| libcryptominisat5-dev_5.11.21+dfsg1-3+b4_armhf.deb | 02-Oct-2026 09:49 | 18K | - |
| libcryptominisat5-dev_5.11.21+dfsg1-3+b4_i386.deb | 02-Oct-2026 09:59 | 18K | - |
| libcryptominisat5-dev_5.11.21+dfsg1-3+b4_loong6..> | 02-Oct-2026 10:05 | 18K | - |
| libcryptominisat5-dev_5.11.21+dfsg1-3+b4_ppc64e..> | 02-Oct-2026 09:49 | 18K | - |
| libcryptominisat5-dev_5.11.21+dfsg1-3+b4_riscv6..> | 03-Oct-2026 10:26 | 18K | - |
| libcryptominisat5-dev_5.11.21+dfsg1-3+b4_s390x.deb | 02-Oct-2026 09:49 | 18K | - |
| libcryptominisat5-dev_5.11.4+dfsg1-2+b1_amd64.deb | 03-Jan-2023 06:27 | 18K | - |
| libcryptominisat5-dev_5.11.4+dfsg1-2+b1_arm64.deb | 03-Jan-2023 06:58 | 18K | - |
| libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armel.deb | 03-Jan-2023 06:59 | 18K | - |
| libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armhf.deb | 03-Jan-2023 06:58 | 18K | - |
| libcryptominisat5-dev_5.11.4+dfsg1-2+b1_i386.deb | 03-Jan-2023 07:45 | 18K | - |
| libcryptominisat5-dev_5.11.4+dfsg1-2+b1_mips64e..> | 03-Jan-2023 06:12 | 18K | - |
| libcryptominisat5-dev_5.11.4+dfsg1-2+b1_mipsel.deb | 03-Jan-2023 06:43 | 18K | - |
| libcryptominisat5-dev_5.11.4+dfsg1-2+b1_ppc64el..> | 04-Jan-2023 23:55 | 18K | - |
| libcryptominisat5-dev_5.11.4+dfsg1-2+b1_s390x.deb | 06-Jan-2023 00:56 | 18K | - |
| libcryptominisat5-dev_5.8.0+dfsg1-1+b3_amd64.deb | 12-Dec-2020 14:13 | 14K | - |
| libcryptominisat5-dev_5.8.0+dfsg1-1+b3_arm64.deb | 12-Dec-2020 12:00 | 14K | - |
| libcryptominisat5-dev_5.8.0+dfsg1-1+b3_armhf.deb | 12-Dec-2020 15:26 | 14K | - |
| libcryptominisat5-dev_5.8.0+dfsg1-1+b3_i386.deb | 12-Dec-2020 14:39 | 14K | - |
| python3-cryptominisat_5.11.21+dfsg1-2_amd64.deb | 24-May-2025 23:21 | 583K | - |
| python3-cryptominisat_5.11.21+dfsg1-2_arm64.deb | 24-May-2025 23:32 | 535K | - |
| python3-cryptominisat_5.11.21+dfsg1-2_armel.deb | 24-May-2025 23:21 | 516K | - |
| python3-cryptominisat_5.11.21+dfsg1-2_armhf.deb | 24-May-2025 23:21 | 529K | - |
| python3-cryptominisat_5.11.21+dfsg1-2_i386.deb | 24-May-2025 23:21 | 640K | - |
| python3-cryptominisat_5.11.21+dfsg1-2_ppc64el.deb | 24-May-2025 23:21 | 612K | - |
| python3-cryptominisat_5.11.21+dfsg1-2_riscv64.deb | 25-May-2025 00:08 | 606K | - |
| python3-cryptominisat_5.11.21+dfsg1-2_s390x.deb | 24-May-2025 23:21 | 603K | - |
| python3-cryptominisat_5.11.21+dfsg1-3+b4_amd64.deb | 02-Oct-2026 09:59 | 609K | - |
| python3-cryptominisat_5.11.21+dfsg1-3+b4_arm64.deb | 02-Oct-2026 09:49 | 523K | - |
| python3-cryptominisat_5.11.21+dfsg1-3+b4_armhf.deb | 02-Oct-2026 09:49 | 526K | - |
| python3-cryptominisat_5.11.21+dfsg1-3+b4_i386.deb | 02-Oct-2026 09:59 | 647K | - |
| python3-cryptominisat_5.11.21+dfsg1-3+b4_loong6..> | 02-Oct-2026 10:05 | 568K | - |
| python3-cryptominisat_5.11.21+dfsg1-3+b4_ppc64e..> | 02-Oct-2026 09:49 | 629K | - |
| python3-cryptominisat_5.11.21+dfsg1-3+b4_riscv6..> | 03-Oct-2026 10:26 | 602K | - |
| python3-cryptominisat_5.11.21+dfsg1-3+b4_s390x.deb | 02-Oct-2026 09:49 | 599K | - |
| python3-cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb | 03-Jan-2023 06:27 | 520K | - |
| python3-cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb | 03-Jan-2023 06:58 | 479K | - |
| python3-cryptominisat_5.11.4+dfsg1-2+b1_armel.deb | 03-Jan-2023 06:59 | 462K | - |
| python3-cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb | 03-Jan-2023 06:58 | 473K | - |
| python3-cryptominisat_5.11.4+dfsg1-2+b1_i386.deb | 03-Jan-2023 07:45 | 576K | - |
| python3-cryptominisat_5.11.4+dfsg1-2+b1_mips64e..> | 03-Jan-2023 06:12 | 494K | - |
| python3-cryptominisat_5.11.4+dfsg1-2+b1_mipsel.deb | 03-Jan-2023 06:43 | 511K | - |
| python3-cryptominisat_5.11.4+dfsg1-2+b1_ppc64el..> | 04-Jan-2023 23:55 | 556K | - |
| python3-cryptominisat_5.11.4+dfsg1-2+b1_s390x.deb | 06-Jan-2023 00:56 | 483K | - |
| python3-cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb | 12-Dec-2020 14:13 | 19K | - |
| python3-cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb | 12-Dec-2020 12:00 | 18K | - |
| python3-cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb | 12-Dec-2020 15:26 | 18K | - |
| python3-cryptominisat_5.8.0+dfsg1-1+b3_i386.deb | 12-Dec-2020 14:39 | 19K | - |