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

../
cryptominisat-dbgsym_5.11.21+dfsg1-2_ppc64.deb     25-May-2025 00:03             1357300
cryptominisat_5.11.21+dfsg1-2_ppc64.buildinfo      25-May-2025 00:03               10142
cryptominisat_5.11.21+dfsg1-2_ppc64.deb            25-May-2025 00:03               91308
libcryptominisat5-5.11t64-dbgsym_5.11.21+dfsg1-..> 25-May-2025 00:03             7393784
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_ppc64..> 25-May-2025 00:03              557624
libcryptominisat5-dev_5.11.21+dfsg1-2_ppc64.deb    25-May-2025 00:03               18828
python3-cryptominisat-dbgsym_5.11.21+dfsg1-2_pp..> 25-May-2025 00:03             7103376
python3-cryptominisat_5.11.21+dfsg1-2_ppc64.deb    25-May-2025 00:03              626904