| Parent directory/ | - | - |
| patch-53974.diff | 960 B | 2018-Mar-03 16:16 |
| patch-libs_luajit_configure.diff | 371 B | 2018-Mar-03 16:16 |
| patch-r44590.diff | 46.6 KiB | 2018-Mar-03 16:16 |
| patch-texk_chktex_Makefile.in.diff | 1.4 KiB | 2018-Mar-03 16:16 |
| patch-texk_kpathsea_Makefile.in.diff | 1.9 KiB | 2018-Mar-03 16:16 |
| patch-texk_tex4htk_Makefile.in.diff | 1.6 KiB | 2018-Mar-03 16:16 |
| patch-texk_texlive_linked_scripts_Makefile.in.diff | 1.7 KiB | 2018-Mar-03 16:16 |
| patch-texk_texlive_tl_scripts_Makefile.in.diff | 1.8 KiB | 2018-Mar-03 16:16 |
| patch-texk_web2c_configure.diff | 332 B | 2018-Mar-03 16:16 |
| patch-texk_xdvik_xdvi-sh.in.diff | 266 B | 2018-Mar-03 16:16 |
| texk_kpathsea_paths.h | 6.8 KiB | 2018-Mar-03 16:16 |