Index of /ubuntu/pool/universe/c/cryptominisat/

../
cryptominisat_5.8.0+dfsg1-2_amd64.deb              07-Nov-2023 16:32     91K
libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb      07-Nov-2023 16:32    378K
libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb      07-Nov-2023 16:32     13K
python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb      07-Nov-2023 16:32     19K