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

../
cryptominisat-dbgsym_5.11.15+dfsg1-1.1_ppc64.deb   28-Feb-2024 06:03             1013824
cryptominisat_5.11.15+dfsg1-1.1_ppc64.buildinfo    28-Feb-2024 06:03               10123
cryptominisat_5.11.15+dfsg1-1.1_ppc64.deb          28-Feb-2024 06:03               81316
libcryptominisat5-5.11t64-dbgsym_5.11.15+dfsg1-..> 28-Feb-2024 06:03             7240384
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_ppc..> 28-Feb-2024 06:03              544688
libcryptominisat5-dev_5.11.15+dfsg1-1.1_ppc64.deb  28-Feb-2024 06:03               18648
python3-cryptominisat-dbgsym_5.11.15+dfsg1-1.1_..> 28-Feb-2024 06:03             6824828
python3-cryptominisat_5.11.15+dfsg1-1.1_ppc64.deb  28-Feb-2024 06:03              562600