Index of /pool/main/c/cryptominisat/

../
cryptominisat_5.11.15+dfsg1-1.1build1_amd64.deb    07-Apr-2024 20:36               83060
cryptominisat_5.8.0+dfsg1-2_amd64.deb              31-Mar-2022 19:46               92960
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 07-Apr-2024 20:16              447326
libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb      31-Mar-2022 20:16              386708
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_a..> 07-Apr-2024 20:15               17744
libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb      31-Mar-2022 21:09               12978
python3-cryptominisat_5.11.15+dfsg1-1.1build1_a..> 07-Apr-2024 20:18              525966
python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb      31-Mar-2022 18:15               19592