Name	Size	Modified	Perms	Actions
luatex	---	October 28 2022 01:48:05.	0755
metafont	---	October 28 2022 01:48:05.	0755
pdftex	---	October 28 2022 01:48:05.	0755
tex	---	October 28 2022 01:48:05.	0755