../ r-cran-libcoin_1.0-2-1.debian.tar.xz 18-Dec-2018 10:04 1944 r-cran-libcoin_1.0-2-1.dsc 18-Dec-2018 10:04 2090 r-cran-libcoin_1.0-2-1_amd64.deb 18-Dec-2018 10:55 708444 r-cran-libcoin_1.0-2.orig.tar.gz 18-Dec-2018 10:04 756352