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