ptex-jtex

	Name	Size	Modified
	..	—	—
	ptex-jtex_1.7+1-15.diff.gz	8 KB	Thu Mar 16 16:54:03 2023
	ptex-jtex_1.7+1-15.dsc	780 bytes	Thu Mar 16 16:54:03 2023
	ptex-jtex_1.7+1.orig.tar.gz	3 MB	Thu Mar 16 16:54:03 2023