../ coin3_4.0.2+ds-1.2_ia64.buildinfo 20-Mar-2024 06:03 15388 libcoin-dev_4.0.2+ds-1.2_ia64.deb 20-Mar-2024 06:03 220436 libcoin80t64-dbgsym_4.0.2+ds-1.2_ia64.deb 20-Mar-2024 06:03 12521164 libcoin80t64_4.0.2+ds-1.2_ia64.deb 20-Mar-2024 06:03 2476228