../ cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb 09-Sep-2026 10:18 75K libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_amd64.deb 09-Sep-2026 10:18 490K libcryptominisat5-dev_5.11.4+dfsg1-2+b1_amd64.deb 09-Sep-2026 10:18 18K python3-cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb 09-Sep-2026 10:18 520K