../ r-cran-tinytex_0.8-1.debian.tar.xz 11-Sep-2018 06:35 2248 r-cran-tinytex_0.8-1.dsc 11-Sep-2018 06:35 2038 r-cran-tinytex_0.8-1_all.deb 11-Sep-2018 07:10 88464 r-cran-tinytex_0.8.orig.tar.gz 11-Sep-2018 06:35 20873