../ coin3_4.0.2+ds-1.2_hppa.buildinfo 18-Mar-2024 00:03 15084 libcoin-dev_4.0.2+ds-1.2_hppa.deb 18-Mar-2024 00:03 220440 libcoin80t64-dbgsym_4.0.2+ds-1.2_hppa.deb 18-Mar-2024 00:03 11122120 libcoin80t64_4.0.2+ds-1.2_hppa.deb 18-Mar-2024 00:03 2340068