Index of /R-tinytex

	Name	Last modified	Size
	Parent Directory		-
	tinytex_0.44.tar.gz	2023-02-08 12:08	32K
	tinytex_0.45.tar.gz	2023-04-20 02:14	32K
	tinytex_0.46.tar.gz	2023-08-10 18:23	33K
	tinytex_0.47.tar.gz	2023-09-30 14:11	33K