../ r-cran-devtools_1.13.5-1.debian.tar.xz 15-Mar-2018 15:13 2472 r-cran-devtools_1.13.5-1.dsc 15-Mar-2018 15:13 2245 r-cran-devtools_1.13.5-1_armhf.deb 21-Mar-2018 16:08 711176 r-cran-devtools_1.13.5.orig.tar.gz 15-Mar-2018 15:13 486555