../ lhs2tex_1.24-1+b2_amd64.deb 18-Sep-2022 21:28 862K lhs2tex_1.24-1+b2_arm64.deb 18-Sep-2022 23:27 3M lhs2tex_1.24-1+b2_armhf.deb 19-Sep-2022 08:40 3M