../ r-cran-devtools_1.13.6-1.debian.tar.xz 01-Jul-2018 07:10 2632 r-cran-devtools_1.13.6-1.dsc 01-Jul-2018 07:10 2346 r-cran-devtools_1.13.6-1_all.deb 01-Jul-2018 07:55 967248 r-cran-devtools_1.13.6.orig.tar.gz 01-Jul-2018 07:10 486446