../ coin3_4.0.0+ds-3.debian.tar.xz 08-May-2024 13:34 14976 coin3_4.0.0+ds-3.dsc 08-May-2024 13:34 2232 coin3_4.0.0+ds.orig.tar.xz 08-May-2024 13:34 3885760 libcoin-dev_4.0.0+ds-3_riscv64.deb 25-May-2024 10:24 223284 libcoin-doc_4.0.0+ds-3_all.deb 25-May-2024 10:24 5338008 libcoin-runtime_4.0.0+ds-3_all.deb 25-May-2024 10:24 33484 libcoin80c-dbgsym_4.0.0+ds-3_riscv64.deb 25-May-2024 10:24 10346260 libcoin80c_4.0.0+ds-3_riscv64.deb 25-May-2024 10:24 2102868