../ texlive-fonts-extra-44409-doc.tar.xz 16-Nov-2017 10:30 80242416 texlive-fonts-extra-44409-run.tar.xz 16-Nov-2017 10:29 375853856 texlive-fonts-extra-44409-src.tar.xz 10-Mar-2018 20:37 8855932 texlive-fonts-extra-47288-doc.tar.xz 18-Jun-2018 02:19 84886520 texlive-fonts-extra-47288-run.tar.xz 18-Jun-2018 02:18 389173308 texlive-fonts-extra-47288-src.tar.xz 18-Jun-2018 02:20 8817136