Name	Size	Modified	Perms	Actions
dvips	---	June 22 2023 11:15:31.	0755
tex	---	June 22 2023 11:15:31.	0755
web2c	---	June 22 2023 11:15:36.	0755