Index of /debian13/archive/pool/main/c/cryptominisat/

../
cryptominisat_5.11.21+dfsg1-2.debian.tar.xz        09-Aug-2026 21:56    6696
cryptominisat_5.11.21+dfsg1-2.dsc                  09-Aug-2026 21:56    2519
cryptominisat_5.11.21+dfsg1-2_amd64.deb            08-Aug-2026 21:53     89K
cryptominisat_5.11.21+dfsg1.orig.tar.xz            09-Aug-2026 21:56    470K
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_amd64..> 08-Aug-2026 21:53    509K
libcryptominisat5-dev_5.11.21+dfsg1-2_amd64.deb    08-Aug-2026 21:53     18K
python3-cryptominisat_5.11.21+dfsg1-2_amd64.deb    08-Aug-2026 21:53    583K