| Parent directory/ | - | - |
| Description.rtf | 392 | 16-Nov-2020 23:45 |
| patch-libs_luajit_configure.diff | 371 | 16-Nov-2020 23:45 |
| patch-texk_chktex_Makefile.in.diff | 1531 | 28-Nov-2020 10:10 |
| patch-texk_kpathsea_Makefile.in.diff | 1950 | 16-Nov-2020 23:45 |
| patch-texk_tex4htk_Makefile.in.diff | 1621 | 16-Nov-2020 23:45 |
| patch-texk_texlive_linked_scripts_Makefile.in.diff | 2588 | 11-Jul-2023 14:38 |
| patch-texk_web2c_configure.diff | 332 | 16-Nov-2020 23:45 |
| patch-texk_web2c_luatexdir_luazlib_lzlib.c.diff | 650 | 17-Mar-2024 09:46 |
| patch-texk_xdvik_xdvi-sh.in.diff | 266 | 16-Nov-2020 23:45 |
| patch-utils_texdoctk_Makefile.in.diff | 1607 | 28-Nov-2020 10:10 |
| texk_kpathsea_paths.h | 6942 | 16-Nov-2020 23:45 |