Index of /mirror-backup20251114/pool/universe/c/cryptominisat/

../
cryptominisat_5.11.21+dfsg1-1.debian.tar.xz        03-May-2024 11:29    6620
cryptominisat_5.11.21+dfsg1-1.dsc                  03-May-2024 11:29    2498
cryptominisat_5.11.21+dfsg1-1_amd64.deb            03-May-2024 12:05     91K
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_amd64..> 03-May-2024 12:05    435K
libcryptominisat5-dev_5.11.21+dfsg1-1_amd64.deb    03-May-2024 12:05     17K
python3-cryptominisat_5.11.21+dfsg1-1_amd64.deb    03-May-2024 12:05    512K