../ coin3_4.0.2+ds-2_ppc64.buildinfo 09-May-2024 08:03 15769 libcoin-dev_4.0.2+ds-2_ppc64.deb 09-May-2024 08:03 220396 libcoin80t64-dbgsym_4.0.2+ds-2_ppc64.deb 09-May-2024 08:03 11563072 libcoin80t64_4.0.2+ds-2_ppc64.deb 09-May-2024 08:03 2356396