../ 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