../ cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb 15-Jan-2025 12:19 77096 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_amd64.deb 15-Jan-2025 12:19 502056 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_amd64.deb 15-Jan-2025 12:21 18324 python3-cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb 15-Jan-2025 12:17 532504