Directory listing for /nl.archive.ubuntu.com/ubuntu/pool/universe/c/cryptominisat/

• cryptominisat_5.11.21+dfsg1-3build1_amd64.deb
• libcryptominisat5-5.11t64_5.11.21+dfsg1-3build1_amd64.deb
• libcryptominisat5-dev_5.11.21+dfsg1-3build1_amd64.deb
• python3-cryptominisat_5.11.21+dfsg1-3build1_amd64.deb