../ texdef/ 05-Aug-2025 01:58 - texrocks/ 05-Aug-2025 01:58 - kpathsea.lua 05-Aug-2025 00:26 10K open.lua 05-Aug-2025 00:26 2763 texdef.lua 05-Aug-2025 00:26 9340 texrocks.lua 05-Aug-2025 00:26 14K tlua.lua 05-Aug-2025 00:26 482