../ cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb 22-May-2023 11:03 86K libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_amd64.deb 22-May-2023 12:41 406K libcryptominisat5-dev_5.8.0+dfsg1-1+b3_amd64.deb 22-May-2023 12:41 14K python3-cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb 22-May-2023 15:00 19K