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

../
lhs2tex_1.22-2.debian.tar.xz                       01-Oct-2018 19:52                6808
lhs2tex_1.22-2.dsc                                 01-Oct-2018 19:52                2080
lhs2tex_1.22-2_amd64.deb                           02-Oct-2018 04:26              780616
lhs2tex_1.22.orig.tar.gz                           30-Sep-2018 11:04              679988