Index of /lhs2tex/

../
lhs2tex-1.22_0.darwin_13.x86_64.tbz2               12-Sep-2019 21:50              601367
lhs2tex-1.22_0.darwin_13.x86_64.tbz2.rmd160        12-Sep-2019 21:50                 512
lhs2tex-1.22_0.darwin_14.x86_64.tbz2               12-Sep-2019 21:57              601651
lhs2tex-1.22_0.darwin_14.x86_64.tbz2.rmd160        12-Sep-2019 21:57                 512
lhs2tex-1.22_0.darwin_15.x86_64.tbz2               12-Sep-2019 21:55              601511
lhs2tex-1.22_0.darwin_15.x86_64.tbz2.rmd160        12-Sep-2019 21:55                 512
lhs2tex-1.22_0.darwin_16.x86_64.tbz2               12-Sep-2019 21:57              602174
lhs2tex-1.22_0.darwin_16.x86_64.tbz2.rmd160        12-Sep-2019 21:57                 512
lhs2tex-1.22_0.darwin_17.x86_64.tbz2               12-Sep-2019 21:55              601597
lhs2tex-1.22_0.darwin_17.x86_64.tbz2.rmd160        12-Sep-2019 21:55                 512
lhs2tex-1.22_0.darwin_18.x86_64.tbz2               12-Sep-2019 21:53              601547
lhs2tex-1.22_0.darwin_18.x86_64.tbz2.rmd160        12-Sep-2019 21:53                 512
lhs2tex-1.22_0.darwin_19.x86_64.tbz2               02-Nov-2019 01:03              601934
lhs2tex-1.22_0.darwin_19.x86_64.tbz2.rmd160        02-Nov-2019 01:03                 512