![[ICO]](/icons/blank.gif) | Name | Last modified | Size |
|---|
|
|---|
![[PARENTDIR]](/icons/back.gif) | Parent Directory | | - |
![[TXT]](/icons/text.gif) | cryptominisat_5.8.0+dfsg1-2.dsc | 2022-02-22 23:24 | 2.4K |
| cryptominisat_5.11.21+dfsg1-1build1.dsc | 2025-01-03 14:36 | 2.4K |
| cryptominisat_5.11.21+dfsg1-1.dsc | 2024-05-03 11:29 | 2.4K |
| cryptominisat_5.11.15+dfsg1-1.1build1.dsc | 2024-03-31 18:36 | 2.6K |
![[ ]](/icons/unknown.gif) | cryptominisat_5.11.15+dfsg1-1.1build1.debian.tar.xz | 2024-03-31 18:36 | 5.6K |
| cryptominisat_5.8.0+dfsg1-2.debian.tar.xz | 2022-02-22 23:24 | 6.1K |
| cryptominisat_5.11.21+dfsg1-1.debian.tar.xz | 2024-05-03 11:29 | 6.5K |
| cryptominisat_5.11.21+dfsg1-1build1.debian.tar.xz | 2025-01-03 14:35 | 6.5K |
| libcryptominisat5-dev_5.8.0+dfsg1-2_arm64.deb | 2022-02-22 23:45 | 13K |
| libcryptominisat5-dev_5.8.0+dfsg1-2_riscv64.deb | 2022-02-23 02:29 | 13K |
| libcryptominisat5-dev_5.8.0+dfsg1-2_s390x.deb | 2022-02-22 23:46 | 13K |
| libcryptominisat5-dev_5.8.0+dfsg1-2_armhf.deb | 2022-02-22 23:45 | 13K |
| libcryptominisat5-dev_5.8.0+dfsg1-2_ppc64el.deb | 2022-02-22 23:46 | 13K |
| libcryptominisat5-dev_5.11.21+dfsg1-1_armhf.deb | 2024-05-09 11:31 | 17K |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_s390x.deb | 2024-04-02 11:03 | 17K |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_arm64.deb | 2024-04-02 01:07 | 17K |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_armhf.deb | 2024-04-02 01:08 | 17K |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_riscv64.deb | 2024-04-03 21:11 | 17K |
| libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_ppc64el.deb | 2024-04-02 05:02 | 17K |
| libcryptominisat5-dev_5.11.21+dfsg1-1_arm64.deb | 2024-05-05 17:38 | 17K |
| libcryptominisat5-dev_5.11.21+dfsg1-1_riscv64.deb | 2024-05-05 11:18 | 17K |
| libcryptominisat5-dev_5.11.21+dfsg1-1_s390x.deb | 2024-05-03 12:40 | 17K |
| libcryptominisat5-dev_5.11.21+dfsg1-1build1_riscv64.deb | 2025-01-03 18:35 | 17K |
| libcryptominisat5-dev_5.11.21+dfsg1-1build1_armhf.deb | 2025-01-03 14:38 | 17K |
| libcryptominisat5-dev_5.11.21+dfsg1-1_ppc64el.deb | 2024-05-03 12:05 | 17K |
| libcryptominisat5-dev_5.11.21+dfsg1-1build1_arm64.deb | 2025-01-03 14:37 | 17K |
| libcryptominisat5-dev_5.11.21+dfsg1-1build1_s390x.deb | 2025-01-03 14:40 | 17K |
| libcryptominisat5-dev_5.11.21+dfsg1-1build1_ppc64el.deb | 2025-01-03 14:39 | 17K |
| python3-cryptominisat_5.8.0+dfsg1-2_armhf.deb | 2022-02-22 23:45 | 18K |
| python3-cryptominisat_5.8.0+dfsg1-2_arm64.deb | 2022-02-22 23:45 | 19K |
| python3-cryptominisat_5.8.0+dfsg1-2_s390x.deb | 2022-02-22 23:46 | 19K |
| python3-cryptominisat_5.8.0+dfsg1-2_riscv64.deb | 2022-02-23 02:29 | 19K |
| python3-cryptominisat_5.8.0+dfsg1-2_ppc64el.deb | 2022-02-22 23:46 | 20K |
| cryptominisat_5.11.15+dfsg1-1.1build1_arm64.deb | 2024-04-02 01:07 | 77K |
| cryptominisat_5.11.15+dfsg1-1.1build1_armhf.deb | 2024-04-02 01:08 | 77K |
| cryptominisat_5.11.15+dfsg1-1.1build1_s390x.deb | 2024-04-02 11:03 | 83K |
| cryptominisat_5.11.21+dfsg1-1_arm64.deb | 2024-05-05 17:38 | 84K |
| cryptominisat_5.11.15+dfsg1-1.1build1_riscv64.deb | 2024-04-03 21:11 | 84K |
| cryptominisat_5.11.15+dfsg1-1.1build1_ppc64el.deb | 2024-04-02 05:02 | 84K |
| cryptominisat_5.11.21+dfsg1-1build1_arm64.deb | 2025-01-03 14:37 | 85K |
| cryptominisat_5.11.21+dfsg1-1_armhf.deb | 2024-05-09 11:31 | 86K |
| cryptominisat_5.8.0+dfsg1-2_armhf.deb | 2022-02-22 23:45 | 87K |
| cryptominisat_5.11.21+dfsg1-1build1_armhf.deb | 2025-01-03 14:38 | 87K |
| cryptominisat_5.8.0+dfsg1-2_arm64.deb | 2022-02-22 23:45 | 87K |
| cryptominisat_5.8.0+dfsg1-2_s390x.deb | 2022-02-22 23:46 | 88K |
| cryptominisat_5.11.21+dfsg1-1_ppc64el.deb | 2024-05-03 12:05 | 93K |
| cryptominisat_5.11.21+dfsg1-1_s390x.deb | 2024-05-03 12:40 | 93K |
| cryptominisat_5.11.21+dfsg1-1_riscv64.deb | 2024-05-05 11:18 | 94K |
| cryptominisat_5.11.21+dfsg1-1build1_ppc64el.deb | 2025-01-03 14:39 | 94K |
| cryptominisat_5.11.21+dfsg1-1build1_riscv64.deb | 2025-01-03 18:35 | 94K |
| cryptominisat_5.8.0+dfsg1-2_riscv64.deb | 2022-02-23 02:29 | 94K |
| cryptominisat_5.11.21+dfsg1-1build1_s390x.deb | 2025-01-03 14:40 | 95K |
| cryptominisat_5.8.0+dfsg1-2_ppc64el.deb | 2022-02-22 23:46 | 97K |
| libcryptominisat5-5.8_5.8.0+dfsg1-2_s390x.deb | 2022-02-22 23:46 | 365K |
| libcryptominisat5-5.8_5.8.0+dfsg1-2_arm64.deb | 2022-02-22 23:45 | 366K |
| libcryptominisat5-5.8_5.8.0+dfsg1-2_armhf.deb | 2022-02-22 23:45 | 416K |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_arm64.deb | 2024-04-02 01:07 | 425K |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1_arm64.deb | 2024-05-05 17:38 | 426K |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_arm64.deb | 2025-01-03 14:37 | 439K |
| cryptominisat_5.8.0+dfsg1.orig.tar.xz | 2020-07-13 17:24 | 441K |
| libcryptominisat5-5.8_5.8.0+dfsg1-2_riscv64.deb | 2022-02-23 02:29 | 449K |
| libcryptominisat5-5.8_5.8.0+dfsg1-2_ppc64el.deb | 2022-02-22 23:46 | 462K |
| cryptominisat_5.11.15+dfsg1.orig.tar.xz | 2023-12-14 17:37 | 464K |
| cryptominisat_5.11.21+dfsg1.orig.tar.xz | 2024-05-03 11:29 | 470K |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1_ppc64el.deb | 2024-05-03 12:05 | 490K |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_ppc64el.deb | 2024-04-02 05:02 | 492K |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1_s390x.deb | 2024-05-03 12:40 | 495K |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_s390x.deb | 2024-04-02 11:03 | 497K |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_ppc64el.deb | 2025-01-03 14:39 | 499K |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_s390x.deb | 2025-01-03 14:40 | 501K |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1_armhf.deb | 2024-05-09 11:31 | 501K |
| python3-cryptominisat_5.11.15+dfsg1-1.1build1_arm64.deb | 2024-04-02 01:07 | 507K |
| python3-cryptominisat_5.11.21+dfsg1-1_arm64.deb | 2024-05-05 17:38 | 508K |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_armhf.deb | 2025-01-03 14:38 | 510K |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_armhf.deb | 2024-04-02 01:08 | 510K |
| python3-cryptominisat_5.11.21+dfsg1-1_armhf.deb | 2024-05-09 11:31 | 511K |
| python3-cryptominisat_5.11.15+dfsg1-1.1build1_armhf.deb | 2024-04-02 01:08 | 512K |
| python3-cryptominisat_5.11.21+dfsg1-1build1_arm64.deb | 2025-01-03 14:37 | 565K |
| python3-cryptominisat_5.11.21+dfsg1-1build1_armhf.deb | 2025-01-03 14:38 | 571K |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1_riscv64.deb | 2024-05-05 11:18 | 572K |
| libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_riscv64.deb | 2024-04-03 21:11 | 573K |
| python3-cryptominisat_5.11.21+dfsg1-1_s390x.deb | 2024-05-03 12:40 | 573K |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_riscv64.deb | 2025-01-03 18:35 | 580K |
| python3-cryptominisat_5.11.15+dfsg1-1.1build1_s390x.deb | 2024-04-02 11:03 | 580K |
| python3-cryptominisat_5.11.21+dfsg1-1_riscv64.deb | 2024-05-05 11:18 | 592K |
| python3-cryptominisat_5.11.15+dfsg1-1.1build1_riscv64.deb | 2024-04-03 21:11 | 593K |
| python3-cryptominisat_5.11.21+dfsg1-1_ppc64el.deb | 2024-05-03 12:05 | 613K |
| python3-cryptominisat_5.11.15+dfsg1-1.1build1_ppc64el.deb | 2024-04-02 05:02 | 620K |
| python3-cryptominisat_5.11.21+dfsg1-1build1_s390x.deb | 2025-01-03 14:40 | 621K |
| python3-cryptominisat_5.11.21+dfsg1-1build1_riscv64.deb | 2025-01-03 18:35 | 653K |
| python3-cryptominisat_5.11.21+dfsg1-1build1_ppc64el.deb | 2025-01-03 14:39 | 669K |
|
|---|