../ coin3_4.0.0+ds-3.debian.tar.xz 21-Dec-2022 21:26 14976 coin3_4.0.0+ds-3.dsc 21-Dec-2022 21:26 2232 coin3_4.0.0+ds.orig.tar.xz 09-Aug-2022 20:00 3885760 libcoin-dev_4.0.0+ds-3_amd64.deb 21-Dec-2022 16:58 223276 libcoin-doc_4.0.0+ds-3_all.deb 21-Dec-2022 17:01 5338008 libcoin-runtime_4.0.0+ds-3_all.deb 21-Dec-2022 17:50 33484 libcoin80c_4.0.0+ds-3_amd64.deb 21-Dec-2022 18:06 2223192