../ lhs2tex_1.24-1build2.1.debian.tar.xz 15-Sep-2021 11:58 6956 lhs2tex_1.24-1build2.1.dsc 15-Sep-2021 11:58 2108 lhs2tex_1.24-1build2.1_riscv64.deb 21-Aug-2024 14:34 4M lhs2tex_1.24.orig.tar.gz 16-Jun-2020 23:18 758K