../ r-cran-tinytex_0.9-1.debian.tar.xz 25-Oct-2018 09:26 2276 r-cran-tinytex_0.9-1.dsc 25-Oct-2018 09:26 2072 r-cran-tinytex_0.9-1_all.deb 25-Oct-2018 10:01 89000 r-cran-tinytex_0.9.orig.tar.gz 25-Oct-2018 09:26 21012