../ texdef/ 11-Aug-2025 19:40 - texrocks/ 11-Aug-2025 19:40 - kpathsea.lua 11-Aug-2025 19:40 10088 open.lua 11-Aug-2025 19:40 2763 texdef.lua 11-Aug-2025 19:40 9340 texrocks.lua 11-Aug-2025 19:40 13838 tlua.lua 11-Aug-2025 19:40 482