../ lhs2tex-1.18.1.tar.gz 29-Aug-2015 05:31 646K lhs2tex-1.22.tar.gz 13-Sep-2019 00:33 664K lhs2tex-1.24.tar.gz 14-Mar-2021 10:45 758K lhs2tex-1.25.tar.gz 25-Feb-2024 19:42 871K