../ r-cran-stanheaders_2.18.0-1.debian.tar.xz 12-Oct-2018 06:12 3656 r-cran-stanheaders_2.18.0-1.dsc 12-Oct-2018 06:12 2106 r-cran-stanheaders_2.18.0-1_armhf.deb 14-Oct-2018 08:48 690296 r-cran-stanheaders_2.18.0.orig.tar.gz 12-Oct-2018 06:12 1205964