../ r-cran-tinytex_0.10-1.debian.tar.xz 13-Jan-2019 18:37 2352 r-cran-tinytex_0.10-1.dsc 13-Jan-2019 18:37 2098 r-cran-tinytex_0.10-1_all.deb 13-Jan-2019 19:28 88K r-cran-tinytex_0.10.orig.tar.gz 13-Jan-2019 18:37 21K