| Parent directory/ | - | - |
| Description.rtf | 392 B | 2020-Nov-17 08:45 |
| patch-libs_luajit_configure.diff | 371 B | 2020-Nov-17 08:45 |
| patch-texk_chktex_Makefile.in.diff | 1.5 KiB | 2020-Nov-28 19:10 |
| patch-texk_kpathsea_Makefile.in.diff | 1.9 KiB | 2020-Nov-17 08:45 |
| patch-texk_tex4htk_Makefile.in.diff | 1.6 KiB | 2020-Nov-17 08:45 |
| patch-texk_texlive_linked_scripts_Makefile.in.diff | 2.5 KiB | 2023-Jul-11 23:38 |
| patch-texk_web2c_configure.diff | 332 B | 2020-Nov-17 08:45 |
| patch-texk_web2c_luatexdir_luazlib_lzlib.c.diff | 650 B | 2024-Mar-17 18:46 |
| patch-texk_xdvik_xdvi-sh.in.diff | 266 B | 2020-Nov-17 08:45 |
| patch-utils_texdoctk_Makefile.in.diff | 1.6 KiB | 2020-Nov-28 19:10 |
| texk_kpathsea_paths.h | 6.8 KiB | 2020-Nov-17 08:45 |