../ lhs2tex_1.15-3.debian.tar.gz 26-Apr-2023 11:21 12K lhs2tex_1.15-3.dsc 26-Apr-2023 11:21 1298 lhs2tex_1.15-3_i386.deb 26-Apr-2023 11:21 699K lhs2tex_1.15.orig.tar.gz 26-Apr-2023 11:21 567K lhs2tex_1.19-5.debian.tar.xz 26-Apr-2023 15:08 6592 lhs2tex_1.19-5.dsc 26-Apr-2023 15:08 2047 lhs2tex_1.19-5_i386.deb 26-Apr-2023 15:08 798K lhs2tex_1.19.orig.tar.gz 26-Apr-2023 15:08 643K