../ cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb 07-Sep-2026 20:33 88028 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_amd64.deb 07-Sep-2026 20:39 416028 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_amd64.deb 07-Sep-2026 21:01 13976 python3-cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb 07-Sep-2026 20:29 19152