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

../
cryptominisat_5.11.15+dfsg1-1.1build1_arm64.deb    02-Apr-2024 01:07               79224
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 02-Apr-2024 01:07              435248
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_a..> 02-Apr-2024 01:07               17748
python3-cryptominisat_5.11.15+dfsg1-1.1build1_a..> 02-Apr-2024 01:07              519270