Index of /lhs2tex/

 Name                                        Last modified      Size  
 Parent Directory                                                 -   
 lhs2tex-1.25_0.darwin_17.x86_64.tbz2        2024-08-16 10:42  512K  
 lhs2tex-1.25_0.darwin_17.x86_64.tbz2.rmd160 2024-08-16 10:42  512   
 lhs2tex-1.25_0.darwin_18.x86_64.tbz2        2024-08-16 10:45  513K  
 lhs2tex-1.25_0.darwin_18.x86_64.tbz2.rmd160 2024-08-16 10:45  512   
 lhs2tex-1.25_0.darwin_19.x86_64.tbz2        2024-08-16 10:30  511K  
 lhs2tex-1.25_0.darwin_19.x86_64.tbz2.rmd160 2024-08-16 10:30  512   
 lhs2tex-1.25_0.darwin_20.x86_64.tbz2        2024-08-16 10:32  510K  
 lhs2tex-1.25_0.darwin_20.x86_64.tbz2.rmd160 2024-08-16 10:32  512   
 lhs2tex-1.25_0.darwin_21.arm64.tbz2         2024-08-16 21:40  3.3M  
 lhs2tex-1.25_0.darwin_21.arm64.tbz2.rmd160  2024-08-16 21:40  512   
 lhs2tex-1.25_0.darwin_21.x86_64.tbz2        2024-08-16 10:34  511K  
 lhs2tex-1.25_0.darwin_21.x86_64.tbz2.rmd160 2024-08-16 10:34  512   
 lhs2tex-1.25_0.darwin_22.arm64.tbz2         2024-08-16 18:53  3.3M  
 lhs2tex-1.25_0.darwin_22.arm64.tbz2.rmd160  2024-08-16 18:53  512   
 lhs2tex-1.25_0.darwin_22.x86_64.tbz2        2024-08-17 03:15  510K  
 lhs2tex-1.25_0.darwin_22.x86_64.tbz2.rmd160 2024-08-17 03:15  512   
 lhs2tex-1.25_0.darwin_23.arm64.tbz2         2024-08-16 10:20  3.2M  
 lhs2tex-1.25_0.darwin_23.arm64.tbz2.rmd160  2024-08-16 10:20  512   
 lhs2tex-1.25_0.darwin_23.x86_64.tbz2        2024-08-16 11:17  510K  
 lhs2tex-1.25_0.darwin_23.x86_64.tbz2.rmd160 2024-08-16 11:17  512   
 lhs2tex-1.25_0.darwin_24.x86_64.tbz2        2024-10-09 05:17  508K  
 lhs2tex-1.25_0.darwin_24.x86_64.tbz2.rmd160 2024-10-09 05:17  512