ptex-jtex

	Name	Size	Modified
	..	—	—
	ptex-jtex_1.7+1-15.diff.gz	8 KB	Wed Mar 12 02:36:34 2025
	ptex-jtex_1.7+1-15.dsc	780 bytes	Wed Mar 12 02:36:34 2025
	ptex-jtex_1.7+1.orig.tar.gz	3 MB	Wed Mar 12 02:36:35 2025