Index of /stable/debian-5-official-release/pool/main/l/lhs2tex/

../
lhs2tex_1.13-3+b1_amd64.deb                        21-Jan-2020 12:48              690692
lhs2tex_1.13-3_i386.deb                            21-Jan-2020 16:28              660588