Index of /pub/linux/debian-amd64/pool/main/l/lhs2tex/

Filename	Modification time	Size
lhs2tex_1.9-1.diff.gz	2005-04-30 18:26 CEST	24 KiB
lhs2tex_1.9-1.dsc	2005-01-28 18:02 CET	597 B
lhs2tex_1.9-1_amd64.deb	2005-04-30 18:26 CEST	2376 KiB
lhs2tex_1.9.orig.tar.gz	2005-01-28 18:02 CET	523 KiB