Name                        Last modified      Size  Description
 Parent Directory                                 -   
 auxfile.lua                 2023-11-18 10:05  2.4K  
 checkdriver.lua             2023-11-18 10:05  7.2K  
 fsutil.lua                  2023-11-18 10:05  2.2K  
 fswatcher_windows.lua       2023-11-18 10:05   15K  
 handleoption.lua            2023-11-18 10:05   15K  
 isatty.lua                  2023-11-18 10:05  7.8K  
 luatexinit.lua              2023-11-18 10:05  3.6K  
 message.lua                 2023-11-18 10:05  4.0K  
 option.lua                  2023-11-18 10:05  4.6K  
 pathutil.lua                2023-11-18 10:05  1.0K  
 pathutil_unix.lua           2023-11-18 10:05  5.3K  
 pathutil_windows.lua        2023-11-18 10:05  5.8K  
 recovery.lua                2023-11-18 10:05  3.1K  
 reruncheck.lua              2023-11-18 10:05  8.4K  
 safename.lua                2023-11-18 10:05  1.7K  
 shellutil.lua               2023-11-18 10:05  867   
 shellutil_unix.lua          2023-11-18 10:05  1.9K  
 shellutil_windows.lua       2023-11-18 10:05  1.3K  
 tex_engine.lua              2023-11-18 10:05  4.9K  

This mirror is hosted by Funkfreunde Landshut e.V. We are the first mirror ever present in Hamnet / AMPRNet. In case you are missing anything or have a question drop us an email at click to see address.

Current mirror size: GB. Mirror health