Index of /idris2/?C=M&O=A

 Name                                        Last modified      Size  
 Parent Directory                                                 -   
 idris2-0.7.0_1.darwin_23.arm64.tbz2         2024-06-24 20:52   24M  
 idris2-0.7.0_1.darwin_23.arm64.tbz2.rmd160  2024-06-24 20:52  512   
 idris2-0.7.0_1.darwin_22.arm64.tbz2         2024-06-25 06:14   24M  
 idris2-0.7.0_1.darwin_22.arm64.tbz2.rmd160  2024-06-25 06:14  512   
 idris2-0.7.0_1.darwin_16.x86_64.tbz2        2024-06-25 09:45   25M  
 idris2-0.7.0_1.darwin_16.x86_64.tbz2.rmd160 2024-06-25 09:45  512   
 idris2-0.7.0_1.darwin_20.x86_64.tbz2        2024-06-25 13:43   25M  
 idris2-0.7.0_1.darwin_20.x86_64.tbz2.rmd160 2024-06-25 13:43  512   
 idris2-0.7.0_1.darwin_21.arm64.tbz2         2024-06-25 16:27   24M  
 idris2-0.7.0_1.darwin_21.arm64.tbz2.rmd160  2024-06-25 16:27  512   
 idris2-0.7.0_1.darwin_19.x86_64.tbz2        2024-06-25 20:18   25M  
 idris2-0.7.0_1.darwin_19.x86_64.tbz2.rmd160 2024-06-25 20:18  512   
 idris2-0.7.0_1.darwin_23.x86_64.tbz2        2024-06-25 21:08   25M  
 idris2-0.7.0_1.darwin_23.x86_64.tbz2.rmd160 2024-06-25 21:08  512   
 idris2-0.7.0_1.darwin_18.x86_64.tbz2        2024-06-26 12:33   25M  
 idris2-0.7.0_1.darwin_18.x86_64.tbz2.rmd160 2024-06-26 12:33  512   
 idris2-0.7.0_1.darwin_17.x86_64.tbz2        2024-06-26 12:39   25M  
 idris2-0.7.0_1.darwin_17.x86_64.tbz2.rmd160 2024-06-26 12:39  512   
 idris2-0.7.0_1.darwin_21.x86_64.tbz2        2024-06-26 15:27   25M  
 idris2-0.7.0_1.darwin_21.x86_64.tbz2.rmd160 2024-06-26 15:27  512   
 idris2-0.7.0_1.darwin_22.x86_64.tbz2        2024-06-26 19:02   25M  
 idris2-0.7.0_1.darwin_22.x86_64.tbz2.rmd160 2024-06-26 19:02  512   
 idris2-0.7.0_1.darwin_12.x86_64.tbz2        2024-07-25 12:39   25M  
 idris2-0.7.0_1.darwin_12.x86_64.tbz2.rmd160 2024-07-25 12:39  512   
 idris2-0.7.0_1.darwin_13.x86_64.tbz2        2024-07-25 13:22   25M  
 idris2-0.7.0_1.darwin_13.x86_64.tbz2.rmd160 2024-07-25 13:22  512   
 idris2-0.7.0_1.darwin_11.x86_64.tbz2        2024-07-26 01:03   25M  
 idris2-0.7.0_1.darwin_11.x86_64.tbz2.rmd160 2024-07-26 01:03  512   
 idris2-0.7.0_1.darwin_24.x86_64.tbz2        2024-10-10 02:01   27M  
 idris2-0.7.0_1.darwin_24.x86_64.tbz2.rmd160 2024-10-10 02:01  512