../ libcoin-dev_4.0.0+ds-1_amd64.deb 20-Dec-2022 22:20 222852 libcoin-doc_4.0.0+ds-1_all.deb 20-Dec-2022 22:14 5352352 libcoin-runtime_4.0.0+ds-1_all.deb 20-Dec-2022 22:37 33288 libcoin80c_4.0.0+ds-1_amd64.deb 20-Dec-2022 20:00 2212572