../ r-cran-stanheaders_2.17.2-1.debian.tar.xz 11-Sep-2018 07:00 3620 r-cran-stanheaders_2.17.2-1.dsc 11-Sep-2018 07:00 2104 r-cran-stanheaders_2.17.2-1_armhf.deb 22-Sep-2018 10:08 569120 r-cran-stanheaders_2.17.2.orig.tar.gz 11-Sep-2018 07:00 955082