Index of /ubuntu-ports/pool/universe/l/lhs2tex/

../
lhs2tex_1.24-1build2.1_arm64.deb                   15-Sep-2021 21:09   1003K