| Parent directory/ | - | - |
| cryptominisat_5.8.0+dfsg1-2.dsc | 2.4 KiB | 2022-Feb-22 23:24 |
| cryptominisat_5.11.15+dfsg1-1build2.dsc | 2.4 KiB | 2024-Mar-30 00:18 |
| cryptominisat_5.11.21+dfsg1-3build1.dsc | 2.4 KiB | 2026-Jan-22 20:33 |
| cryptominisat_5.11.15+dfsg1-1.1build1.dsc | 2.6 KiB | 2024-Mar-31 18:36 |
| cryptominisat_5.11.15+dfsg1-1build2.debian.tar.xz | 5.4 KiB | 2024-Mar-30 00:18 |
| cryptominisat_5.11.15+dfsg1-1.1build1.debian.tar.xz | 5.6 KiB | 2024-Mar-31 18:36 |
| cryptominisat_5.8.0+dfsg1-2.debian.tar.xz | 6.1 KiB | 2022-Feb-22 23:24 |
| cryptominisat_5.11.21+dfsg1-3build1.debian.tar.xz | 6.9 KiB | 2026-Jan-22 20:33 |
| libcryptominisat5-dev_5.8.0+dfsg1-2_arm64.deb | 12.7 KiB | 2022-Feb-22 23:45 |
| libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb | 12.7 KiB | 2022-Feb-22 23:45 |
| libcryptominisat5-dev_5.8.0+dfsg1-2_armhf.deb | 12.7 KiB | 2022-Feb-22 23:45 |
| libcryptominisat5-dev_5.8.0+dfsg1-2_ppc64el.deb | 12.7 KiB | 2022-Feb-22 23:46 |
| libcryptominisat5-dev_5.11.15+dfsg1-1build2_amd64.deb | 17.3 KiB | 2024-Mar-30 00:33 |
| libcryptominisat5-dev_5.11.15+dfsg1-1build2_riscv64.deb | 17.3 KiB | 2024-Mar-30 01:18 |
| libcryptominisat5-dev_5.11.15+dfsg1-1build2_arm64.deb | 17.3 KiB | 2024-Mar-30 00:45 |
| libcryptominisat5-dev_5.11.15+dfsg1-1build2_armhf.deb | 17.3 KiB | 2024-Mar-30 00:53 |
| libcryptominisat5-dev_5.11.15+dfsg1-1build2_ppc64el.deb | 17.3 KiB | 2024-Mar-30 01:10 |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_amd64.deb | 17.3 KiB | 2024-Apr-01 03:47 |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_arm64.deb | 17.3 KiB | 2024-Apr-02 01:07 |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_armhf.deb | 17.3 KiB | 2024-Apr-02 01:08 |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_riscv64.deb | 17.3 KiB | 2024-Apr-03 21:11 |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_ppc64el.deb | 17.3 KiB | 2024-Apr-02 05:02 |
| libcryptominisat5-dev_5.11.21+dfsg1-3build1_riscv64.deb | 17.4 KiB | 2026-Jan-23 03:38 |
| libcryptominisat5-dev_5.11.21+dfsg1-3build1_armhf.deb | 17.4 KiB | 2026-Jan-23 01:17 |
| libcryptominisat5-dev_5.11.21+dfsg1-3build1_arm64.deb | 17.4 KiB | 2026-Jan-23 01:14 |
| libcryptominisat5-dev_5.11.21+dfsg1-3build1_ppc64el.deb | 17.4 KiB | 2026-Jan-23 01:20 |
| libcryptominisat5-dev_5.11.21+dfsg1-3build1_amd64.deb | 17.4 KiB | 2026-Jan-23 01:09 |
| python3-cryptominisat_5.8.0+dfsg1-2_armhf.deb | 18.0 KiB | 2022-Feb-22 23:45 |
| python3-cryptominisat_5.8.0+dfsg1-2_arm64.deb | 18.8 KiB | 2022-Feb-22 23:45 |
| python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb | 19.1 KiB | 2022-Feb-22 23:45 |
| python3-cryptominisat_5.8.0+dfsg1-2_ppc64el.deb | 20.2 KiB | 2022-Feb-22 23:46 |
| cryptominisat_5.11.15+dfsg1-1build2_armhf.deb | 77.1 KiB | 2024-Mar-30 00:53 |
| cryptominisat_5.11.15+dfsg1-1build2_arm64.deb | 77.4 KiB | 2024-Mar-30 00:45 |
| cryptominisat_5.11.15+dfsg1-1.1build1_arm64.deb | 77.4 KiB | 2024-Apr-02 01:07 |
| cryptominisat_5.11.15+dfsg1-1.1build1_armhf.deb | 77.5 KiB | 2024-Apr-02 01:08 |
| cryptominisat_5.11.15+dfsg1-1build2_amd64.deb | 81.1 KiB | 2024-Mar-30 00:33 |
| cryptominisat_5.11.15+dfsg1-1.1build1_amd64.deb | 81.1 KiB | 2024-Apr-01 03:47 |
| cryptominisat_5.11.21+dfsg1-3build1_arm64.deb | 83.6 KiB | 2026-Jan-23 01:14 |
| cryptominisat_5.11.15+dfsg1-1build2_ppc64el.deb | 83.7 KiB | 2024-Mar-30 01:10 |
| cryptominisat_5.11.15+dfsg1-1.1build1_riscv64.deb | 84.2 KiB | 2024-Apr-03 21:11 |
| cryptominisat_5.11.15+dfsg1-1build2_riscv64.deb | 84.2 KiB | 2024-Mar-30 01:18 |
| cryptominisat_5.11.15+dfsg1-1.1build1_ppc64el.deb | 84.5 KiB | 2024-Apr-02 05:02 |
| cryptominisat_5.8.0+dfsg1-2_armhf.deb | 86.6 KiB | 2022-Feb-22 23:45 |
| cryptominisat_5.8.0+dfsg1-2_arm64.deb | 87.0 KiB | 2022-Feb-22 23:45 |
| cryptominisat_5.11.21+dfsg1-3build1_armhf.deb | 87.4 KiB | 2026-Jan-23 01:17 |
| cryptominisat_5.8.0+dfsg1-2_amd64.deb | 90.8 KiB | 2022-Feb-22 23:45 |
| cryptominisat_5.11.21+dfsg1-3build1_ppc64el.deb | 92.6 KiB | 2026-Jan-23 01:20 |
| cryptominisat_5.11.21+dfsg1-3build1_riscv64.deb | 94.1 KiB | 2026-Jan-23 03:38 |
| cryptominisat_5.11.21+dfsg1-3build1_amd64.deb | 94.1 KiB | 2026-Jan-23 01:09 |
| cryptominisat_5.8.0+dfsg1-2_ppc64el.deb | 97.0 KiB | 2022-Feb-22 23:46 |
| libcryptominisat5-5.8_5.8.0+dfsg1-2_arm64.deb | 365.9 KiB | 2022-Feb-22 23:45 |
| libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb | 377.6 KiB | 2022-Feb-22 23:45 |
| libcryptominisat5-5.8_5.8.0+dfsg1-2_armhf.deb | 416.0 KiB | 2022-Feb-22 23:45 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-3build1_arm64.deb | 423.0 KiB | 2026-Jan-23 01:14 |
| libcryptominisat5-5.11_5.11.15+dfsg1-1build2_arm64.deb | 424.7 KiB | 2024-Mar-30 00:45 |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_arm64.deb | 425.0 KiB | 2024-Apr-02 01:07 |
| libcryptominisat5-5.11_5.11.15+dfsg1-1build2_amd64.deb | 436.4 KiB | 2024-Mar-30 00:33 |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_amd64.deb | 436.8 KiB | 2024-Apr-01 03:47 |
| cryptominisat_5.8.0+dfsg1.orig.tar.xz | 440.7 KiB | 2020-Jul-13 17:24 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-3build1_amd64.deb | 446.2 KiB | 2026-Jan-23 01:09 |
| libcryptominisat5-5.8_5.8.0+dfsg1-2_ppc64el.deb | 461.7 KiB | 2022-Feb-22 23:46 |
| cryptominisat_5.11.15+dfsg1.orig.tar.xz | 463.7 KiB | 2023-Dec-14 17:37 |
| cryptominisat_5.11.21+dfsg1.orig.tar.xz | 470.2 KiB | 2024-May-03 11:29 |
| libcryptominisat5-5.11_5.11.15+dfsg1-1build2_ppc64el.deb | 488.7 KiB | 2024-Mar-30 01:10 |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_ppc64el.deb | 492.2 KiB | 2024-Apr-02 05:02 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-3build1_ppc64el.deb | 498.3 KiB | 2026-Jan-23 01:20 |
| libcryptominisat5-5.11_5.11.15+dfsg1-1build2_armhf.deb | 500.4 KiB | 2024-Mar-30 00:53 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-3build1_armhf.deb | 503.8 KiB | 2026-Jan-23 01:17 |
| python3-cryptominisat_5.11.15+dfsg1-1.1build1_arm64.deb | 507.1 KiB | 2024-Apr-02 01:07 |
| python3-cryptominisat_5.11.15+dfsg1-1build2_arm64.deb | 507.8 KiB | 2024-Mar-30 00:45 |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_armhf.deb | 510.4 KiB | 2024-Apr-02 01:08 |
| python3-cryptominisat_5.11.15+dfsg1-1build2_armhf.deb | 511.8 KiB | 2024-Mar-30 00:53 |
| python3-cryptominisat_5.11.15+dfsg1-1.1build1_armhf.deb | 511.9 KiB | 2024-Apr-02 01:08 |
| python3-cryptominisat_5.11.15+dfsg1-1build2_amd64.deb | 513.6 KiB | 2024-Mar-30 00:33 |
| python3-cryptominisat_5.11.15+dfsg1-1.1build1_amd64.deb | 513.6 KiB | 2024-Apr-01 03:47 |
| python3-cryptominisat_5.11.21+dfsg1-3build1_arm64.deb | 554.7 KiB | 2026-Jan-23 01:14 |
| libcryptominisat5-5.11_5.11.15+dfsg1-1build2_riscv64.deb | 572.1 KiB | 2024-Mar-30 01:18 |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_riscv64.deb | 572.6 KiB | 2024-Apr-03 21:11 |
| python3-cryptominisat_5.11.21+dfsg1-3build1_armhf.deb | 573.8 KiB | 2026-Jan-23 01:17 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-3build1_riscv64.deb | 579.1 KiB | 2026-Jan-23 03:38 |
| python3-cryptominisat_5.11.21+dfsg1-3build1_amd64.deb | 579.5 KiB | 2026-Jan-23 01:09 |
| python3-cryptominisat_5.11.15+dfsg1-1.1build1_riscv64.deb | 592.7 KiB | 2024-Apr-03 21:11 |
| python3-cryptominisat_5.11.15+dfsg1-1build2_riscv64.deb | 592.9 KiB | 2024-Mar-30 01:18 |
| python3-cryptominisat_5.11.15+dfsg1-1build2_ppc64el.deb | 613.4 KiB | 2024-Mar-30 01:10 |
| python3-cryptominisat_5.11.15+dfsg1-1.1build1_ppc64el.deb | 619.9 KiB | 2024-Apr-02 05:02 |
| python3-cryptominisat_5.11.21+dfsg1-3build1_riscv64.deb | 662.3 KiB | 2026-Jan-23 03:38 |
| python3-cryptominisat_5.11.21+dfsg1-3build1_ppc64el.deb | 681.5 KiB | 2026-Jan-23 01:20 |