| 📂 Parent Directory | | |
| 📄 cryptominisat_5.11.21+dfsg1-2.debian.tar.xz | 2025-05-24 22:55:14 | 6.54 KB |
| 📄 cryptominisat_5.11.21+dfsg1-2.dsc | 2025-05-24 22:55:14 | 2.46 KB |
| 📄 cryptominisat_5.11.21+dfsg1-2_amd64.deb | 2025-05-24 23:21:25 | 89.25 KB |
| 📄 cryptominisat_5.11.21+dfsg1-2_arm64.deb | 2025-05-24 23:32:07 | 79.34 KB |
| 📄 cryptominisat_5.11.21+dfsg1-2_armel.deb | 2025-05-24 23:21:40 | 78.72 KB |
| 📄 cryptominisat_5.11.21+dfsg1-2_armhf.deb | 2025-05-24 23:21:43 | 81.57 KB |
| 📄 cryptominisat_5.11.21+dfsg1-2_i386.deb | 2025-05-24 23:21:24 | 95.42 KB |
| 📄 cryptominisat_5.11.21+dfsg1-2_ppc64el.deb | 2025-05-24 23:21:44 | 88.68 KB |
| 📄 cryptominisat_5.11.21+dfsg1-2_riscv64.deb | 2025-05-25 00:08:28 | 87.39 KB |
| 📄 cryptominisat_5.11.21+dfsg1-2_s390x.deb | 2025-05-24 23:21:40 | 85.61 KB |
| 📄 cryptominisat_5.11.21+dfsg1-3+b2_amd64.deb | 2026-04-23 20:31:03 | 88.29 KB |
| 📄 cryptominisat_5.11.21+dfsg1-3+b2_arm64.deb | 2026-04-23 11:37:45 | 78.29 KB |
| 📄 cryptominisat_5.11.21+dfsg1-3+b2_armhf.deb | 2026-04-23 15:03:59 | 81.43 KB |
| 📄 cryptominisat_5.11.21+dfsg1-3+b2_i386.deb | 2026-04-23 22:29:03 | 95.52 KB |
| 📄 cryptominisat_5.11.21+dfsg1-3+b2_loong64.deb | 2026-04-23 22:29:09 | 83.48 KB |
| 📄 cryptominisat_5.11.21+dfsg1-3+b2_ppc64el.deb | 2026-04-23 19:02:31 | 88.16 KB |
| 📄 cryptominisat_5.11.21+dfsg1-3+b2_riscv64.deb | 2026-05-01 20:31:28 | 86.9 KB |
| 📄 cryptominisat_5.11.21+dfsg1-3+b2_s390x.deb | 2026-04-24 00:58:34 | 85.71 KB |
| 📄 cryptominisat_5.11.21+dfsg1-3.debian.tar.xz | 2025-08-13 06:03:47 | 6.86 KB |
| 📄 cryptominisat_5.11.21+dfsg1-3.dsc | 2025-08-13 06:03:47 | 2.45 KB |
| 📄 cryptominisat_5.11.21+dfsg1.orig.tar.xz | 2024-05-03 06:30:46 | 470.2 KB |
| 📄 cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb | 2023-01-03 06:27:49 | 75.29 KB |
| 📄 cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb | 2023-01-03 06:58:45 | 69.21 KB |
| 📄 cryptominisat_5.11.4+dfsg1-2+b1_armel.deb | 2023-01-03 06:59:03 | 65.68 KB |
| 📄 cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb | 2023-01-03 06:58:43 | 67.44 KB |
| 📄 cryptominisat_5.11.4+dfsg1-2+b1_i386.deb | 2023-01-03 07:45:01 | 79.17 KB |
| 📄 cryptominisat_5.11.4+dfsg1-2+b1_mips64el.deb | 2023-01-03 06:12:19 | 70.38 KB |
| 📄 cryptominisat_5.11.4+dfsg1-2+b1_mipsel.deb | 2023-01-03 06:43:33 | 71.49 KB |
| 📄 cryptominisat_5.11.4+dfsg1-2+b1_ppc64el.deb | 2023-01-04 23:55:58 | 76.81 KB |
| 📄 cryptominisat_5.11.4+dfsg1-2+b1_s390x.deb | 2023-01-06 00:56:18 | 69.16 KB |
| 📄 cryptominisat_5.11.4+dfsg1-2.debian.tar.xz | 2022-11-03 19:09:23 | 5.23 KB |
| 📄 cryptominisat_5.11.4+dfsg1-2.dsc | 2022-11-03 19:09:23 | 2.4 KB |
| 📄 cryptominisat_5.11.4+dfsg1.orig.tar.xz | 2022-10-28 21:20:08 | 517.79 KB |
| 📄 cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb | 2020-12-12 14:13:58 | 85.96 KB |
| 📄 cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb | 2020-12-12 12:00:17 | 80.57 KB |
| 📄 cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb | 2020-12-12 15:26:42 | 80.21 KB |
| 📄 cryptominisat_5.8.0+dfsg1-1+b3_i386.deb | 2020-12-12 14:39:56 | 90.92 KB |
| 📄 cryptominisat_5.8.0+dfsg1-1.debian.tar.xz | 2020-07-11 14:16:37 | 6.04 KB |
| 📄 cryptominisat_5.8.0+dfsg1-1.dsc | 2020-07-11 14:16:37 | 2.35 KB |
| 📄 cryptominisat_5.8.0+dfsg1.orig.tar.xz | 2020-07-11 14:16:37 | 440.73 KB |
| 📄 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_amd64.deb | 2023-01-03 06:27:49 | 490.29 KB |
| 📄 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_arm64.deb | 2023-01-03 06:58:45 | 440.42 KB |
| 📄 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armel.deb | 2023-01-03 06:59:03 | 432.08 KB |
| 📄 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armhf.deb | 2023-01-03 06:58:43 | 450.23 KB |
| 📄 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_i386.deb | 2023-01-03 07:45:01 | 515.78 KB |
| 📄 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_mips64el.deb | 2023-01-03 06:12:19 | 462.9 KB |
| 📄 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_mipsel.deb | 2023-01-03 06:43:33 | 476.99 KB |
| 📄 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_ppc64el.deb | 2023-01-04 23:55:58 | 529.89 KB |
| 📄 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_s390x.deb | 2023-01-06 00:56:18 | 448.77 KB |
| 📄 libcryptominisat5-5.11t64_5.11.21+dfsg1-2_amd64.deb | 2025-05-24 23:21:25 | 509.19 KB |
| 📄 libcryptominisat5-5.11t64_5.11.21+dfsg1-2_arm64.deb | 2025-05-24 23:32:07 | 460.55 KB |
| 📄 libcryptominisat5-5.11t64_5.11.21+dfsg1-2_armel.deb | 2025-05-24 23:21:40 | 443 KB |
| 📄 libcryptominisat5-5.11t64_5.11.21+dfsg1-2_armhf.deb | 2025-05-24 23:21:43 | 462.54 KB |
| 📄 libcryptominisat5-5.11t64_5.11.21+dfsg1-2_i386.deb | 2025-05-24 23:21:24 | 536.05 KB |
| 📄 libcryptominisat5-5.11t64_5.11.21+dfsg1-2_ppc64el.deb | 2025-05-24 23:21:44 | 543.26 KB |
| 📄 libcryptominisat5-5.11t64_5.11.21+dfsg1-2_riscv64.deb | 2025-05-25 00:08:28 | 534.3 KB |
| 📄 libcryptominisat5-5.11t64_5.11.21+dfsg1-2_s390x.deb | 2025-05-24 23:21:40 | 534.05 KB |
| 📄 libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b2_amd64.deb | 2026-04-23 20:31:03 | 509.85 KB |
| 📄 libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b2_arm64.deb | 2026-04-23 11:37:45 | 449.21 KB |
| 📄 libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b2_armhf.deb | 2026-04-23 15:03:59 | 460.73 KB |
| 📄 libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b2_i386.deb | 2026-04-23 22:29:03 | 533.29 KB |
| 📄 libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b2_loong64.deb | 2026-04-23 22:29:09 | 502.25 KB |
| 📄 libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b2_ppc64el.deb | 2026-04-23 19:02:31 | 557.36 KB |
| 📄 libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b2_riscv64.deb | 2026-05-01 20:31:28 | 535.68 KB |
| 📄 libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b2_s390x.deb | 2026-04-24 00:58:34 | 533.42 KB |
| 📄 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_amd64.deb | 2020-12-12 14:13:58 | 406.28 KB |
| 📄 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_arm64.deb | 2020-12-12 12:00:17 | 370.11 KB |
| 📄 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_armhf.deb | 2020-12-12 15:26:42 | 375.71 KB |
| 📄 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_i386.deb | 2020-12-12 14:39:56 | 431.58 KB |
| 📄 libcryptominisat5-dev_5.11.21+dfsg1-2_amd64.deb | 2025-05-24 23:21:25 | 18.38 KB |
| 📄 libcryptominisat5-dev_5.11.21+dfsg1-2_arm64.deb | 2025-05-24 23:32:07 | 18.38 KB |
| 📄 libcryptominisat5-dev_5.11.21+dfsg1-2_armel.deb | 2025-05-24 23:21:40 | 18.37 KB |
| 📄 libcryptominisat5-dev_5.11.21+dfsg1-2_armhf.deb | 2025-05-24 23:21:43 | 18.38 KB |
| 📄 libcryptominisat5-dev_5.11.21+dfsg1-2_i386.deb | 2025-05-24 23:21:24 | 18.38 KB |
| 📄 libcryptominisat5-dev_5.11.21+dfsg1-2_ppc64el.deb | 2025-05-24 23:21:44 | 18.38 KB |
| 📄 libcryptominisat5-dev_5.11.21+dfsg1-2_riscv64.deb | 2025-05-25 00:08:28 | 18.38 KB |
| 📄 libcryptominisat5-dev_5.11.21+dfsg1-2_s390x.deb | 2025-05-24 23:21:40 | 18.38 KB |
| 📄 libcryptominisat5-dev_5.11.21+dfsg1-3+b2_amd64.deb | 2026-04-23 20:31:03 | 18.19 KB |
| 📄 libcryptominisat5-dev_5.11.21+dfsg1-3+b2_arm64.deb | 2026-04-23 11:37:45 | 18.18 KB |
| 📄 libcryptominisat5-dev_5.11.21+dfsg1-3+b2_armhf.deb | 2026-04-23 15:03:59 | 18.21 KB |
| 📄 libcryptominisat5-dev_5.11.21+dfsg1-3+b2_i386.deb | 2026-04-23 22:29:03 | 18.21 KB |
| 📄 libcryptominisat5-dev_5.11.21+dfsg1-3+b2_loong64.deb | 2026-04-23 22:29:09 | 18.19 KB |
| 📄 libcryptominisat5-dev_5.11.21+dfsg1-3+b2_ppc64el.deb | 2026-04-23 19:02:31 | 18.2 KB |
| 📄 libcryptominisat5-dev_5.11.21+dfsg1-3+b2_riscv64.deb | 2026-05-01 20:31:28 | 18.19 KB |
| 📄 libcryptominisat5-dev_5.11.21+dfsg1-3+b2_s390x.deb | 2026-04-24 00:58:34 | 18.19 KB |
| 📄 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_amd64.deb | 2023-01-03 06:27:49 | 17.89 KB |
| 📄 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_arm64.deb | 2023-01-03 06:58:45 | 17.89 KB |
| 📄 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armel.deb | 2023-01-03 06:59:03 | 17.87 KB |
| 📄 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armhf.deb | 2023-01-03 06:58:43 | 17.89 KB |
| 📄 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_i386.deb | 2023-01-03 07:45:01 | 17.89 KB |
| 📄 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_mips64el.deb | 2023-01-03 06:12:19 | 17.9 KB |
| 📄 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_mipsel.deb | 2023-01-03 06:43:33 | 17.89 KB |
| 📄 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_ppc64el.deb | 2023-01-04 23:55:58 | 17.89 KB |
| 📄 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_s390x.deb | 2023-01-06 00:56:18 | 17.88 KB |
| 📄 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_amd64.deb | 2020-12-12 14:13:58 | 13.65 KB |
| 📄 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_arm64.deb | 2020-12-12 12:00:17 | 13.62 KB |
| 📄 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_armhf.deb | 2020-12-12 15:26:42 | 13.62 KB |
| 📄 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_i386.deb | 2020-12-12 14:39:56 | 13.62 KB |
| 📄 python3-cryptominisat_5.11.21+dfsg1-2_amd64.deb | 2025-05-24 23:21:25 | 583.21 KB |
| 📄 python3-cryptominisat_5.11.21+dfsg1-2_arm64.deb | 2025-05-24 23:32:07 | 535.2 KB |
| 📄 python3-cryptominisat_5.11.21+dfsg1-2_armel.deb | 2025-05-24 23:21:40 | 515.77 KB |
| 📄 python3-cryptominisat_5.11.21+dfsg1-2_armhf.deb | 2025-05-24 23:21:43 | 529.29 KB |
| 📄 python3-cryptominisat_5.11.21+dfsg1-2_i386.deb | 2025-05-24 23:21:24 | 640.14 KB |
| 📄 python3-cryptominisat_5.11.21+dfsg1-2_ppc64el.deb | 2025-05-24 23:21:44 | 612.25 KB |
| 📄 python3-cryptominisat_5.11.21+dfsg1-2_riscv64.deb | 2025-05-25 00:08:28 | 606.39 KB |
| 📄 python3-cryptominisat_5.11.21+dfsg1-2_s390x.deb | 2025-05-24 23:21:40 | 603.01 KB |
| 📄 python3-cryptominisat_5.11.21+dfsg1-3+b2_amd64.deb | 2026-04-23 20:31:03 | 585.43 KB |
| 📄 python3-cryptominisat_5.11.21+dfsg1-3+b2_arm64.deb | 2026-04-23 11:37:45 | 524.58 KB |
| 📄 python3-cryptominisat_5.11.21+dfsg1-3+b2_armhf.deb | 2026-04-23 15:03:59 | 528.71 KB |
| 📄 python3-cryptominisat_5.11.21+dfsg1-3+b2_i386.deb | 2026-04-23 22:29:03 | 635.39 KB |
| 📄 python3-cryptominisat_5.11.21+dfsg1-3+b2_loong64.deb | 2026-04-23 22:29:09 | 576.33 KB |
| 📄 python3-cryptominisat_5.11.21+dfsg1-3+b2_ppc64el.deb | 2026-04-23 19:02:31 | 626.68 KB |
| 📄 python3-cryptominisat_5.11.21+dfsg1-3+b2_riscv64.deb | 2026-05-01 20:31:28 | 605.68 KB |
| 📄 python3-cryptominisat_5.11.21+dfsg1-3+b2_s390x.deb | 2026-04-24 00:58:34 | 602.62 KB |
| 📄 python3-cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb | 2023-01-03 06:27:49 | 520.02 KB |
| 📄 python3-cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb | 2023-01-03 06:58:45 | 478.79 KB |
| 📄 python3-cryptominisat_5.11.4+dfsg1-2+b1_armel.deb | 2023-01-03 06:59:03 | 462.07 KB |
| 📄 python3-cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb | 2023-01-03 06:58:43 | 473.13 KB |
| 📄 python3-cryptominisat_5.11.4+dfsg1-2+b1_i386.deb | 2023-01-03 07:45:01 | 575.75 KB |
| 📄 python3-cryptominisat_5.11.4+dfsg1-2+b1_mips64el.deb | 2023-01-03 06:12:19 | 494.3 KB |
| 📄 python3-cryptominisat_5.11.4+dfsg1-2+b1_mipsel.deb | 2023-01-03 06:43:33 | 511.17 KB |
| 📄 python3-cryptominisat_5.11.4+dfsg1-2+b1_ppc64el.deb | 2023-01-04 23:55:58 | 555.54 KB |
| 📄 python3-cryptominisat_5.11.4+dfsg1-2+b1_s390x.deb | 2023-01-06 00:56:18 | 482.55 KB |
| 📄 python3-cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb | 2020-12-12 14:13:58 | 18.7 KB |
| 📄 python3-cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb | 2020-12-12 12:00:17 | 18.34 KB |
| 📄 python3-cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb | 2020-12-12 15:26:42 | 17.59 KB |
| 📄 python3-cryptominisat_5.8.0+dfsg1-1+b3_i386.deb | 2020-12-12 14:39:56 | 19.48 KB |