../ r-cran-tinytex_0.10-1.debian.tar.xz 13-Jan-2019 07:37 2352 r-cran-tinytex_0.10-1.dsc 13-Jan-2019 07:37 2098 r-cran-tinytex_0.10-1_all.deb 13-Jan-2019 08:28 89644 r-cran-tinytex_0.10.orig.tar.gz 13-Jan-2019 07:37 21107