../ 09-texlive-fonts.conf 12-Nov-2016 16:22 382 BUILD 22-Oct-2017 23:11 1293 CONFLICTS 12-Nov-2016 16:22 285 DEPENDS 22-Oct-2017 23:11 1846 DETAILS 22-Oct-2017 23:11 628 FINAL 22-Oct-2017 23:11 465 HISTORY 22-Oct-2017 23:11 5618 INSTALL 22-Oct-2017 23:11 2054 PRE_BUILD 22-Oct-2017 23:11 1096 fix_paths.patch 22-Oct-2017 23:11 4777 mtxrun_fix.patch 22-Oct-2017 23:11 982 texmf.cnf_fix.patch 22-Oct-2017 23:11 931