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