Index of /debian-ports/pool-alpha/main/c/cryptominisat/

../
cryptominisat-dbgsym_5.11.21+dfsg1-1+b3_alpha.deb  08-Jan-2025 15:03      1M
cryptominisat_5.11.21+dfsg1-1+b3_alpha.buildinfo   08-Jan-2025 15:03     10K
cryptominisat_5.11.21+dfsg1-1+b3_alpha.deb         08-Jan-2025 15:03     82K
libcryptominisat5-5.11t64-dbgsym_5.11.21+dfsg1-..> 08-Jan-2025 15:03      7M
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b3_al..> 08-Jan-2025 15:03    492K
libcryptominisat5-dev_5.11.21+dfsg1-1+b3_alpha.deb 08-Jan-2025 15:03     19K
python3-cryptominisat-dbgsym_5.11.21+dfsg1-1+b3..> 08-Jan-2025 15:03      7M
python3-cryptominisat_5.11.21+dfsg1-1+b3_alpha.deb 08-Jan-2025 15:03    555K