Index of /pool/main/p/ptex-bin

	Name	Last modified	Size	Description
	Parent Directory		-
	ptex-bin_3.1.11+0.04b-0.1ubuntu1_amd64.deb	2017-09-22 21:41	264K
	jmpost_3.1.11+0.04b-0.1ubuntu1_amd64.deb	2017-09-22 21:42	206K
	jbibtex-bin_3.1.11+0.04b-0.1ubuntu1_amd64.deb	2017-09-22 21:41	58K