../ coin3_4.0.0+ds-2.debian.tar.xz 18-Oct-2021 20:13 14340 coin3_4.0.0+ds-2.dsc 18-Oct-2021 20:13 2232 coin3_4.0.0+ds.orig.tar.xz 09-Jan-2020 23:18 3885760 libcoin-dev_4.0.0+ds-2_amd64.deb 19-Oct-2021 11:55 221544 libcoin-doc_4.0.0+ds-2_all.deb 19-Oct-2021 11:55 5153062 libcoin-runtime_4.0.0+ds-2_all.deb 19-Oct-2021 11:55 30846 libcoin80c_4.0.0+ds-2_amd64.deb 19-Oct-2021 11:55 2425138