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


../
cryptominisat_5.8.0+dfsg1-2_arm64.deb              23-Feb-2022 07:45     87K
libcryptominisat5-5.8_5.8.0+dfsg1-2_arm64.deb      23-Feb-2022 07:45    366K
libcryptominisat5-dev_5.8.0+dfsg1-2_arm64.deb      23-Feb-2022 07:45     13K
python3-cryptominisat_5.8.0+dfsg1-2_arm64.deb      23-Feb-2022 07:45     19K