../ r-cran-devtools_1.13.5-1+b1_armhf.deb 14-Jun-2018 04:08 967692 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.orig.tar.gz 15-Mar-2018 15:13 486555