../ coin3_4.0.0+ds-3.debian.tar.xz 15-Jun-2022 14:58 14976 coin3_4.0.0+ds-3.dsc 15-Jun-2022 14:58 2232 coin3_4.0.0+ds.orig.tar.xz 09-Jan-2020 19:38 3885760 libcoin-dev_4.0.0+ds-3_amd64.deb 15-Jun-2022 15:28 223276 libcoin-doc_4.0.0+ds-3_all.deb 15-Jun-2022 15:18 5338008 libcoin-runtime_4.0.0+ds-3_all.deb 15-Jun-2022 15:18 33484 libcoin80c_4.0.0+ds-3_amd64.deb 15-Jun-2022 15:28 2223192