../ r-cran-rstantools_1.5.0-2.debian.tar.xz 03-Jun-2018 19:13 1968 r-cran-rstantools_1.5.0-2.dsc 03-Jun-2018 19:13 2081 r-cran-rstantools_1.5.0-2_all.deb 03-Jun-2018 19:13 101642 r-cran-rstantools_1.5.0.orig.tar.gz 16-May-2018 07:22 62692