Index of /debian-trixie/debian/pool/main/c/cryptominisat/

../
cryptominisat_5.11.21+dfsg1-2.debian.tar.xz        09-Feb-2026 20:50                6696
cryptominisat_5.11.21+dfsg1-2.dsc                  09-Feb-2026 20:50                2519
cryptominisat_5.11.21+dfsg1-2_amd64.deb            09-Feb-2026 20:50               91392
cryptominisat_5.11.21+dfsg1.orig.tar.xz            09-Feb-2026 20:50              481480
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_amd64..> 09-Feb-2026 20:50              521412
libcryptominisat5-dev_5.11.21+dfsg1-2_amd64.deb    09-Feb-2026 20:50               18816
python3-cryptominisat_5.11.21+dfsg1-2_amd64.deb    09-Feb-2026 20:50              597204