| 📂 Parent Directory | | |
| 📄 cryptominisat_5.11.21+dfsg1-1+b2_armhf.deb | 2025-01-28 04:08:03 | 79.05 KB |
| 📄 cryptominisat_5.11.21+dfsg1-1.debian.tar.xz | 2024-05-03 06:30:46 | 6.46 KB |
| 📄 cryptominisat_5.11.21+dfsg1-1.dsc | 2024-05-03 06:30:46 | 2.44 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_armhf.deb | 2023-01-31 16:08:02 | 66.95 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.6.4+dfsg.1-1.debian.tar.xz | 2018-08-29 03:39:20 | 19.46 KB |
| 📄 cryptominisat_5.6.4+dfsg.1-1.dsc | 2018-08-29 03:39:20 | 1.68 KB |
| 📄 cryptominisat_5.6.4+dfsg.1.orig.tar.gz | 2018-08-29 03:39:20 | 480.86 KB |
| 📄 cryptominisat_5.8.0+dfsg1-1+b1_armhf.deb | 2020-12-07 22:08:50 | 80.61 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_armhf.deb | 2023-01-31 16:08:02 | 433.07 KB |
| 📄 libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_armhf.deb | 2025-01-28 04:08:03 | 446.59 KB |
| 📄 libcryptominisat5-5.8_5.8.0+dfsg1-1+b1_armhf.deb | 2020-12-07 22:08:50 | 362.49 KB |
| 📄 libcryptominisat5-dev_5.11.21+dfsg1-1+b2_armhf.deb | 2025-01-28 04:08:03 | 18.58 KB |
| 📄 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armhf.deb | 2023-01-31 16:08:02 | 17.88 KB |
| 📄 libcryptominisat5-dev_5.8.0+dfsg1-1+b1_armhf.deb | 2020-12-07 22:08:50 | 13.62 KB |
| 📄 python3-cryptominisat_5.11.21+dfsg1-1+b2_armhf.deb | 2025-01-28 04:08:03 | 511.19 KB |
| 📄 python3-cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb | 2023-01-31 16:08:02 | 460.95 KB |
| 📄 python3-cryptominisat_5.8.0+dfsg1-1+b1_armhf.deb | 2020-12-07 22:08:50 | 17.52 KB |
