../ lhs2tex_1.19-5_amd64.deb 08-Jan-2023 18:06 800230 lhs2tex_1.19-5_i386.deb 08-Jan-2023 17:54 817644 lhs2tex_1.22-2_amd64.deb 08-Jan-2023 13:54 780616 lhs2tex_1.22-2_i386.deb 08-Jan-2023 13:35 789492