Index of /argostmp/pool/main/l/lhs2tex/

../
lhs2tex_1.24-1.debian.tar.xz                       16-Jun-2020 16:56                6808
lhs2tex_1.24-1.dsc                                 16-Jun-2020 16:56                2076
lhs2tex_1.24.orig.tar.gz                           16-Jun-2020 16:56              775885