Index of /dot2tex

	Name	Last modified	Size

	Parent Directory		-
	dot2tex-2.11.2.tar.gz	2019-03-19 00:00	649K
	dot2tex-2.11.3.tar.gz	2021-07-13 23:38	645K
	dot2tex-2.9.0.tar.gz	2015-04-29 07:37	648K

Apache/2.4.41 (Ubuntu) Server at distfiles-origin.macports.org Port 80