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

../
cryptominisat-dbgsym_5.11.21+dfsg1-1+b2_ppc64.deb  28-Oct-2024 18:03             1350264
cryptominisat_5.11.21+dfsg1-1+b2_ppc64.buildinfo   28-Oct-2024 18:03               10606
cryptominisat_5.11.21+dfsg1-1+b2_ppc64.deb         28-Oct-2024 18:03               91744
libcryptominisat5-5.11t64-dbgsym_5.11.21+dfsg1-..> 28-Oct-2024 18:03             7410700
libcryptominisat5-5.11t64_5.11.21+dfsg1-1+b2_pp..> 28-Oct-2024 18:03              554640
libcryptominisat5-dev_5.11.21+dfsg1-1+b2_ppc64.deb 28-Oct-2024 18:03               19036
python3-cryptominisat-dbgsym_5.11.21+dfsg1-1+b2..> 28-Oct-2024 18:03             7116712
python3-cryptominisat_5.11.21+dfsg1-1+b2_ppc64.deb 28-Oct-2024 18:03              616028