../ libcoin-dev_4.0.0+ds-3_amd64.deb 10-Aug-2023 10:48 223276 libcoin-doc_4.0.0+ds-3_all.deb 10-Aug-2023 10:47 5338008 libcoin-runtime_4.0.0+ds-3_all.deb 10-Aug-2023 10:44 33484 libcoin80c_4.0.0+ds-3_amd64.deb 10-Aug-2023 10:51 2223192