| - | cryptominisat_5.11.21+dfsg1-2.debian.tar.xz | 6696 | xz | 2025-05-24 22:55:14 |
| - | cryptominisat_5.11.21+dfsg1-2.dsc | 2519 | dsc | 2025-05-24 22:55:14 |
| - | cryptominisat_5.11.21+dfsg1-2_amd64.deb | 91392 | deb | 2025-05-24 23:21:25 |
| - | cryptominisat_5.11.21+dfsg1-2_i386.deb | 97708 | deb | 2025-05-24 23:21:24 |
| - | cryptominisat_5.11.21+dfsg1.orig.tar.xz | 481480 | xz | 2024-05-03 06:30:46 |
| - | libcryptominisat5-5.11t64_5.11.21+dfsg1-2_amd64.deb | 521412 | deb | 2025-05-24 23:21:25 |
| - | libcryptominisat5-5.11t64_5.11.21+dfsg1-2_i386.deb | 548920 | deb | 2025-05-24 23:21:24 |
| - | libcryptominisat5-dev_5.11.21+dfsg1-2_amd64.deb | 18816 | deb | 2025-05-24 23:21:25 |
| - | libcryptominisat5-dev_5.11.21+dfsg1-2_i386.deb | 18816 | deb | 2025-05-24 23:21:24 |
| - | python3-cryptominisat_5.11.21+dfsg1-2_amd64.deb | 597204 | deb | 2025-05-24 23:21:25 |
| - | python3-cryptominisat_5.11.21+dfsg1-2_i386.deb | 655504 | deb | 2025-05-24 23:21:24 |