../ r-cran-tinytex_0.10-1.debian.tar.xz 15-Jan-2019 12:00 2352 r-cran-tinytex_0.10-1.dsc 15-Jan-2019 12:00 2098 r-cran-tinytex_0.10-1_all.deb 15-Jan-2019 12:01 89644 r-cran-tinytex_0.10.orig.tar.gz 15-Jan-2019 12:00 21107