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

../
cryptominisat_5.8.0+dfsg1-2.debian.tar.xz          18-Dec-2023 16:21                6264
cryptominisat_5.8.0+dfsg1-2.dsc                    18-Dec-2023 16:21                2408
cryptominisat_5.8.0+dfsg1-2_amd64.deb              21-Nov-2024 21:01               92960
cryptominisat_5.8.0+dfsg1.orig.tar.xz              18-Dec-2023 16:21              451304
libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb      21-Nov-2024 21:01              386708
libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb      21-Nov-2024 21:01               12978
python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb      21-Nov-2024 21:01               19592