../ coin3_4.0.0+ds-1build1.debian.tar.xz 11-Feb-2020 02:18 14400 coin3_4.0.0+ds-1build1.dsc 11-Feb-2020 02:18 2481 coin3_4.0.0+ds.orig.tar.xz 09-Jan-2020 23:18 3885760 libcoin-dev_4.0.0+ds-1build1_amd64.deb 11-Feb-2020 02:23 217988 libcoin-doc_4.0.0+ds-1build1_all.deb 11-Feb-2020 02:23 5349100 libcoin-runtime_4.0.0+ds-1build1_all.deb 11-Feb-2020 02:23 30172 libcoin80c_4.0.0+ds-1build1_amd64.deb 11-Feb-2020 02:23 2167156