../ cryptominisat_5.11.21+dfsg1-2_amd64.deb 29-Jul-2026 14:05 91392 libcryptominisat5-5.11t64_5.11.21+dfsg1-2_amd64..> 29-Jul-2026 14:05 521412 libcryptominisat5-dev_5.11.21+dfsg1-2_amd64.deb 29-Jul-2026 14:05 18816 python3-cryptominisat_5.11.21+dfsg1-2_amd64.deb 29-Jul-2026 14:05 597204