| Parent directory/ | - | - |
| cryptominisat-dbgsym_5.11.21+dfsg1-3+b3_ppc64.deb | 1370496 | 2026-Jun-28 09:03 |
| cryptominisat_5.11.21+dfsg1-3+b3_ppc64.buildinfo | 10468 | 2026-Jun-28 09:03 |
| cryptominisat_5.11.21+dfsg1-3+b3_ppc64.deb | 90736 | 2026-Jun-28 09:03 |
| libcryptominisat5-5.11t64-dbgsym_5.11.21+dfsg1-3+b3_ppc64.deb | 7270180 | 2026-Jun-28 09:03 |
| libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b3_ppc64.deb | 556772 | 2026-Jun-28 09:03 |
| libcryptominisat5-dev_5.11.21+dfsg1-3+b3_ppc64.deb | 18652 | 2026-Jun-28 09:03 |
| python3-cryptominisat-dbgsym_5.11.21+dfsg1-3+b3_ppc64.deb | 6987944 | 2026-Jun-28 09:03 |
| python3-cryptominisat_5.11.21+dfsg1-3+b3_ppc64.deb | 624880 | 2026-Jun-28 09:03 |