../ coin3_4.0.2+ds-1.2_ppc64.buildinfo 18-Mar-2024 00:03 15673 libcoin-dev_4.0.2+ds-1.2_ppc64.deb 18-Mar-2024 00:03 220424 libcoin80t64-dbgsym_4.0.2+ds-1.2_ppc64.deb 18-Mar-2024 00:03 11556860 libcoin80t64_4.0.2+ds-1.2_ppc64.deb 18-Mar-2024 00:03 2359576