../ r-cran-coin_1.2-2-4+b1_amd64.deb 30-Jul-2018 20:14 1559852 r-cran-coin_1.2-2-4+b1_i386.deb 30-Jul-2018 20:56 1576020