Index of /ubuntu/pool/main/l/lhs2tex/

../
lhs2tex_1.19-2_amd64.deb                           16-Mar-2016 11:19              773364
lhs2tex_1.19-5_amd64.deb                           02-Oct-2018 09:30              800154