Index of /mirror/ports.ubuntu.com/ubuntu-ports/pool/universe/c/cryptominisat/

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