../ r-cran-tinytex_0.5-2.debian.tar.xz 31-May-2018 21:08 2220 r-cran-tinytex_0.5-2.dsc 31-May-2018 21:08 2025 r-cran-tinytex_0.5-2_all.deb 01-Jun-2018 04:48 74256 r-cran-tinytex_0.5.orig.tar.gz 19-Apr-2018 07:33 17316