../ coin3_4.0.2+ds-1.2_ia64.buildinfo 20-Mar-2024 06:03 15K libcoin-dev_4.0.2+ds-1.2_ia64.deb 20-Mar-2024 06:03 215K libcoin80t64-dbgsym_4.0.2+ds-1.2_ia64.deb 20-Mar-2024 06:03 12M libcoin80t64_4.0.2+ds-1.2_ia64.deb 20-Mar-2024 06:03 2M