../ cryptominisat_5.11.21+dfsg1-2_amd64.deb 25-May-2026 09:23 91392 libcryptominisat5-5.11t64_5.11.21+dfsg1-2_amd64..> 25-May-2026 13:01 521412 libcryptominisat5-dev_5.11.21+dfsg1-2_amd64.deb 25-May-2026 11:27 18816 python3-cryptominisat_5.11.21+dfsg1-2_amd64.deb 25-May-2026 11:59 597204