Index of /gentoo/media-libs/ptex

	Name	Last modified	Size	Description

	Parent Directory		-
	Manifest	2024-03-16 09:10	900
	metadata.xml	2024-03-16 09:10	475
	ptex-2.4.2.ebuild	2024-01-12 15:11	761

Apache/2.4.58 (Ubuntu) Server at mirror.clientvps.com Port 443