../ lhs2tex-dbgsym_1.24-1_riscv64.deb 27-Jul-2026 17:00 2278720 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-1_riscv64.buildinfo 27-Jul-2026 17:00 5499 lhs2tex_1.24-1_riscv64.deb 27-Jul-2026 17:00 3237876 lhs2tex_1.24.orig.tar.gz 08-May-2024 15:17 775885