Index of /lhs2tex/


../
lhs2tex-1.25_0.darwin_17.x86_64.tbz2               16-Aug-2024 09:42              523929
lhs2tex-1.25_0.darwin_17.x86_64.tbz2.rmd160        16-Aug-2024 09:42                 512
lhs2tex-1.25_0.darwin_18.x86_64.tbz2               16-Aug-2024 09:45              525522
lhs2tex-1.25_0.darwin_18.x86_64.tbz2.rmd160        16-Aug-2024 09:45                 512
lhs2tex-1.25_0.darwin_19.x86_64.tbz2               16-Aug-2024 09:30              523110
lhs2tex-1.25_0.darwin_19.x86_64.tbz2.rmd160        16-Aug-2024 09:30                 512
lhs2tex-1.25_0.darwin_20.x86_64.tbz2               16-Aug-2024 09:32              522027
lhs2tex-1.25_0.darwin_20.x86_64.tbz2.rmd160        16-Aug-2024 09:32                 512
lhs2tex-1.25_0.darwin_21.arm64.tbz2                16-Aug-2024 20:40             3472921
lhs2tex-1.25_0.darwin_21.arm64.tbz2.rmd160         16-Aug-2024 20:40                 512
lhs2tex-1.25_0.darwin_21.x86_64.tbz2               16-Aug-2024 09:34              523060
lhs2tex-1.25_0.darwin_21.x86_64.tbz2.rmd160        16-Aug-2024 09:34                 512
lhs2tex-1.25_0.darwin_22.arm64.tbz2                16-Aug-2024 17:53             3471060
lhs2tex-1.25_0.darwin_22.arm64.tbz2.rmd160         16-Aug-2024 17:53                 512
lhs2tex-1.25_0.darwin_22.x86_64.tbz2               17-Aug-2024 02:15              522575
lhs2tex-1.25_0.darwin_22.x86_64.tbz2.rmd160        17-Aug-2024 02:15                 512
lhs2tex-1.25_0.darwin_23.arm64.tbz2                16-Aug-2024 09:20             3386319
lhs2tex-1.25_0.darwin_23.arm64.tbz2.rmd160         16-Aug-2024 09:20                 512
lhs2tex-1.25_0.darwin_23.x86_64.tbz2               16-Aug-2024 10:17              521921
lhs2tex-1.25_0.darwin_23.x86_64.tbz2.rmd160        16-Aug-2024 10:17                 512
lhs2tex-1.25_0.darwin_24.x86_64.tbz2               09-Oct-2024 04:17              520599
lhs2tex-1.25_0.darwin_24.x86_64.tbz2.rmd160        09-Oct-2024 04:17                 512