../ r-cran-devtools_1.13.4-1.debian.tar.xz 10-Jan-2018 11:23 2212 r-cran-devtools_1.13.4-1.dsc 10-Jan-2018 11:23 2248 r-cran-devtools_1.13.4-1_armhf.deb 20-Jan-2018 16:08 711848 r-cran-devtools_1.13.4.orig.tar.gz 10-Jan-2018 11:23 486348