../ lhs2tex-1.18.1.tar.gz 29-Aug-2015 02:31 661053 lhs2tex-1.22.tar.gz 12-Sep-2019 21:33 679988 lhs2tex-1.24.tar.gz 14-Mar-2021 07:45 775885 lhs2tex-1.25.tar.gz 25-Feb-2024 16:42 891949