Index of /macports/distfiles/opendetex

	Name	Last modified	Size

	Parent Directory		-
	opendetex-2.8.8.tar.bz2	2020-09-27 12:52	43K
	opendetex-2.8.9.tar.bz2	2020-12-05 06:40	43K

Apache/2.4 Server at ftp.uni-erlangen.de Port 80