Index of /mirror/release/1/ubuntu_amd64/pool/main/l/lhs2tex

	Name	Last modified	Size	Description
	Parent Directory		-
	lhs2tex_1.22-2build3_amd64.deb	2021-03-16 13:52	746K
	lhs2tex_1.24-1build2.1_amd64.deb	2024-11-14 08:51	882K