Index of /pool/main/l/lhs2tex/


../
lhs2tex_1.22-2.debian.tar.xz                       11-Apr-2022 03:42                6808
lhs2tex_1.22-2.dsc                                 11-Apr-2022 03:42                2080
lhs2tex_1.22-2_amd64.deb                           11-Apr-2022 03:23              780616
lhs2tex_1.22-2_i386.deb                            11-Apr-2022 03:43              789492
lhs2tex_1.22.orig.tar.gz                           11-Apr-2022 03:42              679988