| ⬆️Parent directory | — | — |
| 📦cryptominisat_5.11.21+dfsg1-2.debian.tar.xz | 6.54K | Sun May 25 2025 |
| 📄cryptominisat_5.11.21+dfsg1-2.dsc | 2.46K | Sun May 25 2025 |
| 📦cryptominisat_5.11.21+dfsg1-2_amd64.deb | 89.3K | Sun May 25 2025 |
| 📦cryptominisat_5.11.21+dfsg1-2_i386.deb | 95.5K | Sun May 25 2025 |
| 📦cryptominisat_5.11.21+dfsg1-3+b4_amd64.deb | 91.2K | Fri Oct 02 2026 |
| 📦cryptominisat_5.11.21+dfsg1-3+b4_i386.deb | 99.2K | Fri Oct 02 2026 |
| 📦cryptominisat_5.11.21+dfsg1-3.debian.tar.xz | 6.86K | Wed Aug 13 2025 |
| 📄cryptominisat_5.11.21+dfsg1-3.dsc | 2.45K | Wed Aug 13 2025 |
| 📦cryptominisat_5.11.21+dfsg1.orig.tar.xz | 471K | Fri May 03 2024 |
| 📦cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb | 75.3K | Tue Jan 03 2023 |
| 📦cryptominisat_5.11.4+dfsg1-2+b1_i386.deb | 79.2K | Tue Jan 03 2023 |
| 📦cryptominisat_5.11.4+dfsg1-2.debian.tar.xz | 5.24K | Fri Nov 04 2022 |
| 📄cryptominisat_5.11.4+dfsg1-2.dsc | 2.41K | Fri Nov 04 2022 |
| 📦cryptominisat_5.11.4+dfsg1.orig.tar.xz | 518K | Sat Oct 29 2022 |
| 📦cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb | 86K | Sat Dec 12 2020 |
| 📦cryptominisat_5.8.0+dfsg1-1+b3_i386.deb | 91K | Sat Dec 12 2020 |
| 📦cryptominisat_5.8.0+dfsg1-1.debian.tar.xz | 6.05K | Sat Jul 11 2020 |
| 📄cryptominisat_5.8.0+dfsg1-1.dsc | 2.36K | Sat Jul 11 2020 |
| 📦cryptominisat_5.8.0+dfsg1.orig.tar.xz | 441K | Sat Jul 11 2020 |
| 📦libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_amd64.deb | 491K | Tue Jan 03 2023 |
| 📦libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_i386.deb | 516K | Tue Jan 03 2023 |
| 📦libcryptominisat5-5.11t64_5.11.21+dfsg1-2_amd64.deb | 510K | Sun May 25 2025 |
| 📦libcryptominisat5-5.11t64_5.11.21+dfsg1-2_i386.deb | 537K | Sun May 25 2025 |
| 📦libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b4_amd64.deb | 530K | Fri Oct 02 2026 |
| 📦libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b4_i386.deb | 539K | Fri Oct 02 2026 |
| 📦libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_amd64.deb | 407K | Sat Dec 12 2020 |
| 📦libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_i386.deb | 432K | Sat Dec 12 2020 |
| 📦libcryptominisat5-dev_5.11.21+dfsg1-2_amd64.deb | 18.4K | Sun May 25 2025 |
| 📦libcryptominisat5-dev_5.11.21+dfsg1-2_i386.deb | 18.4K | Sun May 25 2025 |
| 📦libcryptominisat5-dev_5.11.21+dfsg1-3+b4_amd64.deb | 18.3K | Fri Oct 02 2026 |
| 📦libcryptominisat5-dev_5.11.21+dfsg1-3+b4_i386.deb | 18.3K | Fri Oct 02 2026 |
| 📦libcryptominisat5-dev_5.11.4+dfsg1-2+b1_amd64.deb | 17.9K | Tue Jan 03 2023 |
| 📦libcryptominisat5-dev_5.11.4+dfsg1-2+b1_i386.deb | 17.9K | Tue Jan 03 2023 |
| 📦libcryptominisat5-dev_5.8.0+dfsg1-1+b3_amd64.deb | 13.7K | Sat Dec 12 2020 |
| 📦libcryptominisat5-dev_5.8.0+dfsg1-1+b3_i386.deb | 13.7K | Sat Dec 12 2020 |
| 📦python3-cryptominisat_5.11.21+dfsg1-2_amd64.deb | 584K | Sun May 25 2025 |
| 📦python3-cryptominisat_5.11.21+dfsg1-2_i386.deb | 641K | Sun May 25 2025 |
| 📦python3-cryptominisat_5.11.21+dfsg1-3+b4_amd64.deb | 610K | Fri Oct 02 2026 |
| 📦python3-cryptominisat_5.11.21+dfsg1-3+b4_i386.deb | 647K | Fri Oct 02 2026 |
| 📦python3-cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb | 521K | Tue Jan 03 2023 |
| 📦python3-cryptominisat_5.11.4+dfsg1-2+b1_i386.deb | 576K | Tue Jan 03 2023 |
| 📦python3-cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb | 18.8K | Sat Dec 12 2020 |
| 📦python3-cryptominisat_5.8.0+dfsg1-1+b3_i386.deb | 19.5K | Sat Dec 12 2020 |