Index of /jammy-22.04/pool/universe/c/cryptominisat/

../
cryptominisat_5.8.0+dfsg1-2_amd64.deb              25-Feb-2024 15:24               92960
libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb      25-Feb-2024 15:27              386708
libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb      25-Feb-2024 15:24               12978
python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb      25-Feb-2024 15:35               19592