Index of /deb.debian.org/debian/pool/main/c/coin3/

../
coin3_4.0.0+ds-1.debian.tar.xz                     09-Jan-2020 15:38               14288
coin3_4.0.0+ds-1.dsc                               09-Jan-2020 15:38                2378
coin3_4.0.0+ds.orig.tar.xz                         09-Jan-2020 15:38             3885760
libcoin-dev_4.0.0+ds-1_amd64.deb                   09-Jan-2020 16:44              222852
libcoin-doc_4.0.0+ds-1_all.deb                     09-Jan-2020 16:44             5352352
libcoin-runtime_4.0.0+ds-1_all.deb                 09-Jan-2020 16:44               33288
libcoin80c_4.0.0+ds-1_amd64.deb                    09-Jan-2020 16:44             2212572