| Parent directory/ | - | - |
| cryptominisat_5.8.0+dfsg1-2.dsc | 2.4 KiB | 2022-Feb-23 08:24 |
| cryptominisat_5.11.21+dfsg1-1build1.dsc | 2.4 KiB | 2025-Jan-03 23:36 |
| cryptominisat_5.11.21+dfsg1-3build1.dsc | 2.4 KiB | 2026-Jan-23 05:33 |
| cryptominisat_5.11.21+dfsg1-3.dsc | 2.4 KiB | 2025-Oct-28 09:02 |
| cryptominisat_5.11.21+dfsg1-2.dsc | 2.5 KiB | 2025-May-25 14:49 |
| cryptominisat_5.11.15+dfsg1-1.1build1.dsc | 2.6 KiB | 2024-Apr-01 03:36 |
| cryptominisat_5.11.15+dfsg1-1.1build1.debian.ta..> | 5.6 KiB | 2024-Apr-01 03:36 |
| cryptominisat_5.8.0+dfsg1-2.debian.tar.xz | 6.1 KiB | 2022-Feb-23 08:24 |
| cryptominisat_5.11.21+dfsg1-2.debian.tar.xz | 6.5 KiB | 2025-May-25 14:49 |
| cryptominisat_5.11.21+dfsg1-1build1.debian.tar.xz | 6.5 KiB | 2025-Jan-03 23:35 |
| cryptominisat_5.11.21+dfsg1-3.debian.tar.xz | 6.9 KiB | 2025-Oct-28 09:02 |
| cryptominisat_5.11.21+dfsg1-3build1.debian.tar.xz | 6.9 KiB | 2026-Jan-23 05:33 |
| libcryptominisat5-dev_5.8.0+dfsg1-2_riscv64.deb | 12.7 KiB | 2022-Feb-23 11:29 |
| libcryptominisat5-dev_5.8.0+dfsg1-2_arm64.deb | 12.7 KiB | 2022-Feb-23 08:45 |
| libcryptominisat5-dev_5.8.0+dfsg1-2_s390x.deb | 12.7 KiB | 2022-Feb-23 08:46 |
| libcryptominisat5-dev_5.8.0+dfsg1-2_armhf.deb | 12.7 KiB | 2022-Feb-23 08:45 |
| libcryptominisat5-dev_5.8.0+dfsg1-2_ppc64el.deb | 12.7 KiB | 2022-Feb-23 08:46 |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_s..> | 17.3 KiB | 2024-Apr-02 20:03 |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_a..> | 17.3 KiB | 2024-Apr-02 10:07 |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_a..> | 17.3 KiB | 2024-Apr-02 10:08 |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_r..> | 17.3 KiB | 2024-Apr-04 06:11 |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_p..> | 17.3 KiB | 2024-Apr-02 14:02 |
| libcryptominisat5-dev_5.11.21+dfsg1-3build1_ris..> | 17.4 KiB | 2026-Jan-23 12:38 |
| libcryptominisat5-dev_5.11.21+dfsg1-3build1_s39..> | 17.4 KiB | 2026-Jan-23 10:24 |
| libcryptominisat5-dev_5.11.21+dfsg1-3build1_arm..> | 17.4 KiB | 2026-Jan-23 10:17 |
| libcryptominisat5-dev_5.11.21+dfsg1-3build1_arm..> | 17.4 KiB | 2026-Jan-23 10:14 |
| libcryptominisat5-dev_5.11.21+dfsg1-3build1_ppc..> | 17.4 KiB | 2026-Jan-23 10:20 |
| libcryptominisat5-dev_5.11.21+dfsg1-2_armhf.deb | 17.4 KiB | 2025-May-25 14:49 |
| libcryptominisat5-dev_5.11.21+dfsg1-3_armhf.deb | 17.4 KiB | 2025-Oct-28 15:48 |
| libcryptominisat5-dev_5.11.21+dfsg1-1build1_ris..> | 17.4 KiB | 2025-Jan-04 03:35 |
| libcryptominisat5-dev_5.11.21+dfsg1-1build1_arm..> | 17.4 KiB | 2025-Jan-03 23:38 |
| libcryptominisat5-dev_5.11.21+dfsg1-1build1_arm..> | 17.4 KiB | 2025-Jan-03 23:37 |
| libcryptominisat5-dev_5.11.21+dfsg1-3_riscv64.deb | 17.4 KiB | 2025-Oct-29 03:28 |
| libcryptominisat5-dev_5.11.21+dfsg1-2_riscv64.deb | 17.4 KiB | 2025-May-25 17:34 |
| libcryptominisat5-dev_5.11.21+dfsg1-2_arm64.deb | 17.4 KiB | 2025-May-25 14:49 |
| libcryptominisat5-dev_5.11.21+dfsg1-1build1_s39..> | 17.4 KiB | 2025-Jan-03 23:40 |
| libcryptominisat5-dev_5.11.21+dfsg1-3_arm64.deb | 17.4 KiB | 2025-Oct-28 15:37 |
| libcryptominisat5-dev_5.11.21+dfsg1-2_s390x.deb | 17.4 KiB | 2025-May-25 14:49 |
| libcryptominisat5-dev_5.11.21+dfsg1-1build1_ppc..> | 17.4 KiB | 2025-Jan-03 23:39 |
| libcryptominisat5-dev_5.11.21+dfsg1-3_ppc64el.deb | 17.4 KiB | 2025-Oct-28 09:47 |
| libcryptominisat5-dev_5.11.21+dfsg1-2_ppc64el.deb | 17.4 KiB | 2025-May-25 14:49 |
| libcryptominisat5-dev_5.11.21+dfsg1-3_s390x.deb | 17.4 KiB | 2025-Oct-28 16:07 |
| python3-cryptominisat_5.8.0+dfsg1-2_armhf.deb | 18.0 KiB | 2022-Feb-23 08:45 |
| python3-cryptominisat_5.8.0+dfsg1-2_arm64.deb | 18.8 KiB | 2022-Feb-23 08:45 |
| python3-cryptominisat_5.8.0+dfsg1-2_s390x.deb | 18.8 KiB | 2022-Feb-23 08:46 |
| python3-cryptominisat_5.8.0+dfsg1-2_riscv64.deb | 18.8 KiB | 2022-Feb-23 11:29 |
| python3-cryptominisat_5.8.0+dfsg1-2_ppc64el.deb | 20.2 KiB | 2022-Feb-23 08:46 |
| cryptominisat_5.11.15+dfsg1-1.1build1_arm64.deb | 77.4 KiB | 2024-Apr-02 10:07 |
| cryptominisat_5.11.15+dfsg1-1.1build1_armhf.deb | 77.5 KiB | 2024-Apr-02 10:08 |
| cryptominisat_5.11.15+dfsg1-1.1build1_s390x.deb | 82.8 KiB | 2024-Apr-02 20:03 |
| cryptominisat_5.11.21+dfsg1-3build1_arm64.deb | 83.6 KiB | 2026-Jan-23 10:14 |
| cryptominisat_5.11.21+dfsg1-3_arm64.deb | 83.7 KiB | 2025-Oct-28 15:37 |
| cryptominisat_5.11.15+dfsg1-1.1build1_riscv64.deb | 84.2 KiB | 2024-Apr-04 06:11 |
| cryptominisat_5.11.15+dfsg1-1.1build1_ppc64el.deb | 84.5 KiB | 2024-Apr-02 14:02 |
| cryptominisat_5.11.21+dfsg1-2_arm64.deb | 84.8 KiB | 2025-May-25 14:49 |
| cryptominisat_5.11.21+dfsg1-1build1_arm64.deb | 85.2 KiB | 2025-Jan-03 23:37 |
| cryptominisat_5.8.0+dfsg1-2_armhf.deb | 86.6 KiB | 2022-Feb-23 08:45 |
| cryptominisat_5.11.21+dfsg1-1build1_armhf.deb | 86.9 KiB | 2025-Jan-03 23:38 |
| cryptominisat_5.8.0+dfsg1-2_arm64.deb | 87.0 KiB | 2022-Feb-23 08:45 |
| cryptominisat_5.11.21+dfsg1-2_armhf.deb | 87.3 KiB | 2025-May-25 14:49 |
| cryptominisat_5.11.21+dfsg1-3_armhf.deb | 87.4 KiB | 2025-Oct-28 15:48 |
| cryptominisat_5.11.21+dfsg1-3build1_armhf.deb | 87.4 KiB | 2026-Jan-23 10:17 |
| cryptominisat_5.8.0+dfsg1-2_s390x.deb | 88.1 KiB | 2022-Feb-23 08:46 |
| cryptominisat_5.11.21+dfsg1-3build1_ppc64el.deb | 92.6 KiB | 2026-Jan-23 10:20 |
| cryptominisat_5.11.21+dfsg1-3_ppc64el.deb | 92.6 KiB | 2025-Oct-28 09:47 |
| cryptominisat_5.11.21+dfsg1-2_ppc64el.deb | 93.2 KiB | 2025-May-25 14:49 |
| cryptominisat_5.11.21+dfsg1-1build1_ppc64el.deb | 93.7 KiB | 2025-Jan-03 23:39 |
| cryptominisat_5.11.21+dfsg1-1build1_riscv64.deb | 93.7 KiB | 2025-Jan-04 03:35 |
| cryptominisat_5.11.21+dfsg1-3_s390x.deb | 93.7 KiB | 2025-Oct-28 16:07 |
| cryptominisat_5.11.21+dfsg1-3build1_s390x.deb | 93.8 KiB | 2026-Jan-23 10:24 |
| cryptominisat_5.11.21+dfsg1-2_riscv64.deb | 93.9 KiB | 2025-May-25 17:34 |
| cryptominisat_5.11.21+dfsg1-3build1_riscv64.deb | 94.1 KiB | 2026-Jan-23 12:38 |
| cryptominisat_5.8.0+dfsg1-2_riscv64.deb | 94.4 KiB | 2022-Feb-23 11:29 |
| cryptominisat_5.11.21+dfsg1-1build1_s390x.deb | 94.5 KiB | 2025-Jan-03 23:40 |
| cryptominisat_5.11.21+dfsg1-2_s390x.deb | 94.8 KiB | 2025-May-25 14:49 |
| cryptominisat_5.11.21+dfsg1-3_riscv64.deb | 95.2 KiB | 2025-Oct-29 03:28 |
| cryptominisat_5.8.0+dfsg1-2_ppc64el.deb | 97.0 KiB | 2022-Feb-23 08:46 |
| libcryptominisat5-5.8_5.8.0+dfsg1-2_s390x.deb | 365.0 KiB | 2022-Feb-23 08:46 |
| libcryptominisat5-5.8_5.8.0+dfsg1-2_arm64.deb | 365.9 KiB | 2022-Feb-23 08:45 |
| libcryptominisat5-5.8_5.8.0+dfsg1-2_armhf.deb | 416.0 KiB | 2022-Feb-23 08:45 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-3_arm64..> | 422.5 KiB | 2025-Oct-28 15:37 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-3build1..> | 423.0 KiB | 2026-Jan-23 10:14 |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> | 425.0 KiB | 2024-Apr-02 10:07 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-2_arm64..> | 437.9 KiB | 2025-May-25 14:49 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1..> | 439.4 KiB | 2025-Jan-03 23:37 |
| cryptominisat_5.8.0+dfsg1.orig.tar.xz | 440.7 KiB | 2020-Jul-14 02:24 |
| libcryptominisat5-5.8_5.8.0+dfsg1-2_riscv64.deb | 449.1 KiB | 2022-Feb-23 11:29 |
| libcryptominisat5-5.8_5.8.0+dfsg1-2_ppc64el.deb | 461.7 KiB | 2022-Feb-23 08:46 |
| cryptominisat_5.11.15+dfsg1.orig.tar.xz | 463.7 KiB | 2023-Dec-15 02:37 |
| cryptominisat_5.11.21+dfsg1.orig.tar.xz | 470.2 KiB | 2024-May-03 20:29 |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> | 492.2 KiB | 2024-Apr-02 14:02 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-3build1..> | 492.4 KiB | 2026-Jan-23 10:24 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-3_s390x..> | 492.4 KiB | 2025-Oct-28 16:07 |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> | 496.8 KiB | 2024-Apr-02 20:03 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-2_s390x..> | 497.4 KiB | 2025-May-25 14:49 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-2_ppc64..> | 497.8 KiB | 2025-May-25 14:49 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-3_ppc64..> | 498.3 KiB | 2025-Oct-28 09:47 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-3build1..> | 498.3 KiB | 2026-Jan-23 10:20 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1..> | 499.2 KiB | 2025-Jan-03 23:39 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1..> | 500.9 KiB | 2025-Jan-03 23:40 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-3_armhf..> | 503.6 KiB | 2025-Oct-28 15:48 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-3build1..> | 503.8 KiB | 2026-Jan-23 10:17 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-2_armhf..> | 506.8 KiB | 2025-May-25 14:49 |
| python3-cryptominisat_5.11.15+dfsg1-1.1build1_a..> | 507.1 KiB | 2024-Apr-02 10:07 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1..> | 509.7 KiB | 2025-Jan-03 23:38 |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> | 510.4 KiB | 2024-Apr-02 10:08 |
| python3-cryptominisat_5.11.15+dfsg1-1.1build1_a..> | 511.9 KiB | 2024-Apr-02 10:08 |
| python3-cryptominisat_5.11.21+dfsg1-3_arm64.deb | 554.3 KiB | 2025-Oct-28 15:37 |
| python3-cryptominisat_5.11.21+dfsg1-3build1_arm..> | 554.7 KiB | 2026-Jan-23 10:14 |
| python3-cryptominisat_5.11.21+dfsg1-1build1_arm..> | 564.6 KiB | 2025-Jan-03 23:37 |
| python3-cryptominisat_5.11.21+dfsg1-1build1_arm..> | 570.7 KiB | 2025-Jan-03 23:38 |
| python3-cryptominisat_5.11.21+dfsg1-2_arm64.deb | 570.8 KiB | 2025-May-25 14:49 |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> | 572.6 KiB | 2024-Apr-04 06:11 |
| python3-cryptominisat_5.11.21+dfsg1-3_armhf.deb | 573.7 KiB | 2025-Oct-28 15:48 |
| python3-cryptominisat_5.11.21+dfsg1-3build1_arm..> | 573.8 KiB | 2026-Jan-23 10:17 |
| python3-cryptominisat_5.11.21+dfsg1-2_armhf.deb | 575.6 KiB | 2025-May-25 14:49 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-3_riscv..> | 578.8 KiB | 2025-Oct-29 03:28 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-3build1..> | 579.1 KiB | 2026-Jan-23 12:38 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-2_riscv..> | 579.4 KiB | 2025-May-25 17:34 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1..> | 579.5 KiB | 2025-Jan-04 03:35 |
| python3-cryptominisat_5.11.15+dfsg1-1.1build1_s..> | 580.4 KiB | 2024-Apr-02 20:03 |
| python3-cryptominisat_5.11.15+dfsg1-1.1build1_r..> | 592.7 KiB | 2024-Apr-04 06:11 |
| python3-cryptominisat_5.11.15+dfsg1-1.1build1_p..> | 619.9 KiB | 2024-Apr-02 14:02 |
| python3-cryptominisat_5.11.21+dfsg1-1build1_s39..> | 620.8 KiB | 2025-Jan-03 23:40 |
| python3-cryptominisat_5.11.21+dfsg1-3_s390x.deb | 622.3 KiB | 2025-Oct-28 16:07 |
| python3-cryptominisat_5.11.21+dfsg1-3build1_s39..> | 622.4 KiB | 2026-Jan-23 10:24 |
| python3-cryptominisat_5.11.21+dfsg1-2_s390x.deb | 627.7 KiB | 2025-May-25 14:49 |
| python3-cryptominisat_5.11.21+dfsg1-1build1_ris..> | 653.0 KiB | 2025-Jan-04 03:35 |
| python3-cryptominisat_5.11.21+dfsg1-2_riscv64.deb | 661.1 KiB | 2025-May-25 17:34 |
| python3-cryptominisat_5.11.21+dfsg1-3_riscv64.deb | 661.7 KiB | 2025-Oct-29 03:28 |
| python3-cryptominisat_5.11.21+dfsg1-3build1_ris..> | 662.3 KiB | 2026-Jan-23 12:38 |
| python3-cryptominisat_5.11.21+dfsg1-1build1_ppc..> | 669.1 KiB | 2025-Jan-03 23:39 |
| python3-cryptominisat_5.11.21+dfsg1-2_ppc64el.deb | 677.1 KiB | 2025-May-25 14:49 |
| python3-cryptominisat_5.11.21+dfsg1-3build1_ppc..> | 681.5 KiB | 2026-Jan-23 10:20 |
| python3-cryptominisat_5.11.21+dfsg1-3_ppc64el.deb | 681.5 KiB | 2025-Oct-28 09:47 |