Index of /archive.ubuntu.com/ubuntu/pool/universe/c/cryptominisat/

../
cryptominisat_5.8.0+dfsg1-2_amd64.deb              13-May-2026 00:09               92960
libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb      13-May-2026 00:09              386708
libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb      13-May-2026 00:09               12978
python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb      13-May-2026 00:09               19592