| python3-cryptominisat_5.11.21+dfsg1-2_ppc64el.deb | 677.1 KiB | 2025-05-25 13:49 |
| python3-cryptominisat_5.11.21+dfsg1-1build1_ppc6..> | 669.1 KiB | 2025-01-03 22:39 |
| python3-cryptominisat_5.11.21+dfsg1-2_riscv64.deb | 661.1 KiB | 2025-05-25 16:34 |
| python3-cryptominisat_5.11.21+dfsg1-1build1_risc..> | 653.0 KiB | 2025-01-04 02:35 |
| python3-cryptominisat_5.11.21+dfsg1-2_s390x.deb | 627.7 KiB | 2025-05-25 13:49 |
| python3-cryptominisat_5.11.21+dfsg1-1build1_s390..> | 620.8 KiB | 2025-01-03 22:40 |
| python3-cryptominisat_5.11.15+dfsg1-1.1build1_pp..> | 619.9 KiB | 2024-04-02 13:02 |
| python3-cryptominisat_5.11.21+dfsg1-1_ppc64el.deb | 613.0 KiB | 2024-05-03 20:05 |
| python3-cryptominisat_5.11.15+dfsg1-1.1build1_ri..> | 592.7 KiB | 2024-04-04 05:11 |
| python3-cryptominisat_5.11.21+dfsg1-1_riscv64.deb | 591.8 KiB | 2024-05-05 19:18 |
| python3-cryptominisat_5.11.15+dfsg1-1.1build1_s3..> | 580.4 KiB | 2024-04-02 19:03 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_..> | 579.5 KiB | 2025-01-04 02:35 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-2_riscv6..> | 579.4 KiB | 2025-05-25 16:34 |
| python3-cryptominisat_5.11.21+dfsg1-2_armhf.deb | 575.6 KiB | 2025-05-25 13:49 |
| python3-cryptominisat_5.11.21+dfsg1-1_s390x.deb | 572.9 KiB | 2024-05-03 20:40 |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build..> | 572.6 KiB | 2024-04-04 05:11 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1_riscv6..> | 571.7 KiB | 2024-05-05 19:18 |
| python3-cryptominisat_5.11.21+dfsg1-2_arm64.deb | 570.8 KiB | 2025-05-25 13:49 |
| python3-cryptominisat_5.11.21+dfsg1-1build1_armh..> | 570.7 KiB | 2025-01-03 22:38 |
| python3-cryptominisat_5.11.21+dfsg1-1build1_arm6..> | 564.6 KiB | 2025-01-03 22:37 |
| python3-cryptominisat_5.11.15+dfsg1-1.1build1_ar..> | 511.9 KiB | 2024-04-02 09:08 |
| python3-cryptominisat_5.11.21+dfsg1-1_armhf.deb | 511.1 KiB | 2024-05-09 19:31 |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build..> | 510.4 KiB | 2024-04-02 09:08 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_..> | 509.7 KiB | 2025-01-03 22:38 |
| python3-cryptominisat_5.11.21+dfsg1-1_arm64.deb | 508.2 KiB | 2024-05-06 01:38 |
| python3-cryptominisat_5.11.15+dfsg1-1.1build1_ar..> | 507.1 KiB | 2024-04-02 09:07 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-2_armhf...> | 506.8 KiB | 2025-05-25 13:49 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1_armhf...> | 501.4 KiB | 2024-05-09 19:31 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_..> | 500.9 KiB | 2025-01-03 22:40 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_..> | 499.2 KiB | 2025-01-03 22:39 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-2_ppc64e..> | 497.8 KiB | 2025-05-25 13:49 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-2_s390x...> | 497.4 KiB | 2025-05-25 13:49 |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build..> | 496.8 KiB | 2024-04-02 19:03 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1_s390x...> | 494.7 KiB | 2024-05-03 20:40 |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build..> | 492.2 KiB | 2024-04-02 13:02 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1_ppc64e..> | 490.3 KiB | 2024-05-03 20:05 |
| cryptominisat_5.11.21+dfsg1.orig.tar.xz | 470.2 KiB | 2024-05-03 19:29 |
| cryptominisat_5.11.15+dfsg1.orig.tar.xz | 463.7 KiB | 2023-12-15 01:37 |
| libcryptominisat5-5.8_5.8.0+dfsg1-2_ppc64el.deb | 461.7 KiB | 2022-02-23 07:46 |
| libcryptominisat5-5.8_5.8.0+dfsg1-2_riscv64.deb | 449.1 KiB | 2022-02-23 10:29 |
| cryptominisat_5.8.0+dfsg1.orig.tar.xz | 440.7 KiB | 2020-07-14 01:24 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_..> | 439.4 KiB | 2025-01-03 22:37 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-2_arm64...> | 437.9 KiB | 2025-05-25 13:49 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1_arm64...> | 426.1 KiB | 2024-05-06 01:38 |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build..> | 425.0 KiB | 2024-04-02 09:07 |
| libcryptominisat5-5.8_5.8.0+dfsg1-2_armhf.deb | 416.0 KiB | 2022-02-23 07:45 |
| libcryptominisat5-5.8_5.8.0+dfsg1-2_arm64.deb | 365.9 KiB | 2022-02-23 07:45 |
| libcryptominisat5-5.8_5.8.0+dfsg1-2_s390x.deb | 365.0 KiB | 2022-02-23 07:46 |
| cryptominisat_5.8.0+dfsg1-2_ppc64el.deb | 97.0 KiB | 2022-02-23 07:46 |
| cryptominisat_5.11.21+dfsg1-2_s390x.deb | 94.8 KiB | 2025-05-25 13:49 |
| cryptominisat_5.11.21+dfsg1-1build1_s390x.deb | 94.5 KiB | 2025-01-03 22:40 |
| cryptominisat_5.8.0+dfsg1-2_riscv64.deb | 94.4 KiB | 2022-02-23 10:29 |
| cryptominisat_5.11.21+dfsg1-2_riscv64.deb | 93.9 KiB | 2025-05-25 16:34 |
| cryptominisat_5.11.21+dfsg1-1build1_riscv64.deb | 93.7 KiB | 2025-01-04 02:35 |
| cryptominisat_5.11.21+dfsg1-1build1_ppc64el.deb | 93.7 KiB | 2025-01-03 22:39 |
| cryptominisat_5.11.21+dfsg1-1_riscv64.deb | 93.7 KiB | 2024-05-05 19:18 |
| cryptominisat_5.11.21+dfsg1-1_s390x.deb | 93.5 KiB | 2024-05-03 20:40 |
| cryptominisat_5.11.21+dfsg1-2_ppc64el.deb | 93.2 KiB | 2025-05-25 13:49 |
| cryptominisat_5.11.21+dfsg1-1_ppc64el.deb | 93.2 KiB | 2024-05-03 20:05 |
| cryptominisat_5.8.0+dfsg1-2_s390x.deb | 88.1 KiB | 2022-02-23 07:46 |
| cryptominisat_5.11.21+dfsg1-2_armhf.deb | 87.3 KiB | 2025-05-25 13:49 |
| cryptominisat_5.8.0+dfsg1-2_arm64.deb | 87.0 KiB | 2022-02-23 07:45 |
| cryptominisat_5.11.21+dfsg1-1build1_armhf.deb | 86.9 KiB | 2025-01-03 22:38 |
| cryptominisat_5.8.0+dfsg1-2_armhf.deb | 86.6 KiB | 2022-02-23 07:45 |
| cryptominisat_5.11.21+dfsg1-1_armhf.deb | 85.5 KiB | 2024-05-09 19:31 |
| cryptominisat_5.11.21+dfsg1-1build1_arm64.deb | 85.2 KiB | 2025-01-03 22:37 |
| cryptominisat_5.11.21+dfsg1-2_arm64.deb | 84.8 KiB | 2025-05-25 13:49 |
| cryptominisat_5.11.15+dfsg1-1.1build1_ppc64el.deb | 84.5 KiB | 2024-04-02 13:02 |
| cryptominisat_5.11.15+dfsg1-1.1build1_riscv64.deb | 84.2 KiB | 2024-04-04 05:11 |
| cryptominisat_5.11.21+dfsg1-1_arm64.deb | 83.5 KiB | 2024-05-06 01:38 |
| cryptominisat_5.11.15+dfsg1-1.1build1_s390x.deb | 82.8 KiB | 2024-04-02 19:03 |
| cryptominisat_5.11.15+dfsg1-1.1build1_armhf.deb | 77.5 KiB | 2024-04-02 09:08 |
| cryptominisat_5.11.15+dfsg1-1.1build1_arm64.deb | 77.4 KiB | 2024-04-02 09:07 |
| python3-cryptominisat_5.8.0+dfsg1-2_ppc64el.deb | 20.2 KiB | 2022-02-23 07:46 |
| python3-cryptominisat_5.8.0+dfsg1-2_riscv64.deb | 18.8 KiB | 2022-02-23 10:29 |
| python3-cryptominisat_5.8.0+dfsg1-2_s390x.deb | 18.8 KiB | 2022-02-23 07:46 |
| python3-cryptominisat_5.8.0+dfsg1-2_arm64.deb | 18.8 KiB | 2022-02-23 07:45 |
| python3-cryptominisat_5.8.0+dfsg1-2_armhf.deb | 18.0 KiB | 2022-02-23 07:45 |
| libcryptominisat5-dev_5.11.21+dfsg1-1build1_ppc6..> | 17.4 KiB | 2025-01-03 22:39 |
| libcryptominisat5-dev_5.11.21+dfsg1-2_ppc64el.deb | 17.4 KiB | 2025-05-25 13:49 |
| libcryptominisat5-dev_5.11.21+dfsg1-2_s390x.deb | 17.4 KiB | 2025-05-25 13:49 |
| libcryptominisat5-dev_5.11.21+dfsg1-1build1_s390..> | 17.4 KiB | 2025-01-03 22:40 |
| libcryptominisat5-dev_5.11.21+dfsg1-2_arm64.deb | 17.4 KiB | 2025-05-25 13:49 |
| libcryptominisat5-dev_5.11.21+dfsg1-1_ppc64el.deb | 17.4 KiB | 2024-05-03 20:05 |
| libcryptominisat5-dev_5.11.21+dfsg1-1build1_arm6..> | 17.4 KiB | 2025-01-03 22:37 |
| libcryptominisat5-dev_5.11.21+dfsg1-2_riscv64.deb | 17.4 KiB | 2025-05-25 16:34 |
| libcryptominisat5-dev_5.11.21+dfsg1-1build1_armh..> | 17.4 KiB | 2025-01-03 22:38 |
| libcryptominisat5-dev_5.11.21+dfsg1-1build1_risc..> | 17.4 KiB | 2025-01-04 02:35 |
| libcryptominisat5-dev_5.11.21+dfsg1-2_armhf.deb | 17.4 KiB | 2025-05-25 13:49 |
| libcryptominisat5-dev_5.11.21+dfsg1-1_s390x.deb | 17.4 KiB | 2024-05-03 20:40 |
| libcryptominisat5-dev_5.11.21+dfsg1-1_arm64.deb | 17.4 KiB | 2024-05-06 01:38 |
| libcryptominisat5-dev_5.11.21+dfsg1-1_riscv64.deb | 17.4 KiB | 2024-05-05 19:18 |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_pp..> | 17.3 KiB | 2024-04-02 13:02 |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_ar..> | 17.3 KiB | 2024-04-02 09:08 |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_ri..> | 17.3 KiB | 2024-04-04 05:11 |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_ar..> | 17.3 KiB | 2024-04-02 09:07 |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_s3..> | 17.3 KiB | 2024-04-02 19:03 |
| libcryptominisat5-dev_5.11.21+dfsg1-1_armhf.deb | 17.3 KiB | 2024-05-09 19:31 |
| libcryptominisat5-dev_5.8.0+dfsg1-2_ppc64el.deb | 12.7 KiB | 2022-02-23 07:46 |
| libcryptominisat5-dev_5.8.0+dfsg1-2_armhf.deb | 12.7 KiB | 2022-02-23 07:45 |
| libcryptominisat5-dev_5.8.0+dfsg1-2_s390x.deb | 12.7 KiB | 2022-02-23 07:46 |
| libcryptominisat5-dev_5.8.0+dfsg1-2_arm64.deb | 12.7 KiB | 2022-02-23 07:45 |
| libcryptominisat5-dev_5.8.0+dfsg1-2_riscv64.deb | 12.7 KiB | 2022-02-23 10:29 |
| cryptominisat_5.11.21+dfsg1-1build1.debian.tar.xz | 6.5 KiB | 2025-01-03 22:35 |
| cryptominisat_5.11.21+dfsg1-2.debian.tar.xz | 6.5 KiB | 2025-05-25 13:49 |
| cryptominisat_5.11.21+dfsg1-1.debian.tar.xz | 6.5 KiB | 2024-05-03 19:29 |
| cryptominisat_5.8.0+dfsg1-2.debian.tar.xz | 6.1 KiB | 2022-02-23 07:24 |
| cryptominisat_5.11.15+dfsg1-1.1build1.debian.tar..> | 5.6 KiB | 2024-04-01 02:36 |
| cryptominisat_5.11.15+dfsg1-1.1build1.dsc | 2.6 KiB | 2024-04-01 02:36 |
| cryptominisat_5.11.21+dfsg1-2.dsc | 2.5 KiB | 2025-05-25 13:49 |
| cryptominisat_5.11.21+dfsg1-1.dsc | 2.4 KiB | 2024-05-03 19:29 |
| cryptominisat_5.11.21+dfsg1-1build1.dsc | 2.4 KiB | 2025-01-03 22:36 |
| cryptominisat_5.8.0+dfsg1-2.dsc | 2.4 KiB | 2022-02-23 07:24 |