Index of /lhs2tex/

../
lhs2tex-1.24_0.darwin_12.x86_64.tbz2               27-Apr-2021 23:56              615341
lhs2tex-1.24_0.darwin_12.x86_64.tbz2.rmd160        27-Apr-2021 23:56                 512
lhs2tex-1.24_0.darwin_13.x86_64.tbz2               27-Apr-2021 23:34              610093
lhs2tex-1.24_0.darwin_13.x86_64.tbz2.rmd160        27-Apr-2021 23:34                 512
lhs2tex-1.24_0.darwin_14.x86_64.tbz2               27-Apr-2021 23:16              610633
lhs2tex-1.24_0.darwin_14.x86_64.tbz2.rmd160        27-Apr-2021 23:16                 512
lhs2tex-1.24_0.darwin_15.x86_64.tbz2               27-Apr-2021 22:26              609735
lhs2tex-1.24_0.darwin_15.x86_64.tbz2.rmd160        27-Apr-2021 22:26                 512
lhs2tex-1.24_0.darwin_16.x86_64.tbz2               27-Apr-2021 22:33              610071
lhs2tex-1.24_0.darwin_16.x86_64.tbz2.rmd160        27-Apr-2021 22:33                 512
lhs2tex-1.24_0.darwin_17.x86_64.tbz2               14-Mar-2021 09:19              610089
lhs2tex-1.24_0.darwin_17.x86_64.tbz2.rmd160        14-Mar-2021 09:19                 512
lhs2tex-1.24_0.darwin_18.x86_64.tbz2               14-Mar-2021 10:19              609788
lhs2tex-1.24_0.darwin_18.x86_64.tbz2.rmd160        14-Mar-2021 10:19                 512
lhs2tex-1.24_0.darwin_19.x86_64.tbz2               26-Mar-2021 00:28              609845
lhs2tex-1.24_0.darwin_19.x86_64.tbz2.rmd160        26-Mar-2021 00:28                 512
lhs2tex-1.24_0.darwin_20.x86_64.tbz2               28-Apr-2021 00:24              609947
lhs2tex-1.24_0.darwin_20.x86_64.tbz2.rmd160        28-Apr-2021 00:24                 512
lhs2tex-1.24_0.darwin_21.x86_64.tbz2               10-Jan-2022 10:36              609105
lhs2tex-1.24_0.darwin_21.x86_64.tbz2.rmd160        10-Jan-2022 10:36                 512