Index of /repo/debian/pool/main/l/lhs2tex

	Name	Last modified	Size	Description
	Parent Directory		-
	lhs2tex_1.22-2_amd64..>	2018-10-02 07:56	762K
	lhs2tex_1.24-1+b2_am..>	2022-09-19 01:58	862K
	lhs2tex_1.24-1_amd64..>	2020-06-16 22:12	845K