Index of /pool/main/l/lhs2tex/

../
lhs2tex-dbgsym_1.24-1+b2_riscv64.deb               26-May-2024 23:00             2279956
lhs2tex_1.24-1+b2_riscv64.deb                      26-May-2024 23:00             3237644
lhs2tex_1.24-1.debian.tar.xz                       08-May-2024 15:17                6808
lhs2tex_1.24-1.dsc                                 08-May-2024 15:17                2076
lhs2tex_1.24.orig.tar.gz                           08-May-2024 15:17              775885