../ lhs2tex_1.24-1+b2_amd64.deb 18-Sep-2022 21:28 882368 lhs2tex_1.24-1+b2_arm64.deb 18-Sep-2022 23:27 2824116 lhs2tex_1.24-1+b2_armhf.deb 19-Sep-2022 08:40 3147520