Index of /idris2/

 Name                                        Last modified      Size  
 Parent Directory                                                 -   
 idris2-0.8.0_0.darwin_10.i386.tbz2          2026-02-03 08:13   28M  
 idris2-0.8.0_0.darwin_10.i386.tbz2.rmd160   2026-02-03 08:14  512   
 idris2-0.8.0_0.darwin_16.x86_64.tbz2        2026-02-03 05:45   28M  
 idris2-0.8.0_0.darwin_16.x86_64.tbz2.rmd160 2026-02-03 05:45  512   
 idris2-0.8.0_0.darwin_17.x86_64.tbz2        2026-02-03 10:58   28M  
 idris2-0.8.0_0.darwin_17.x86_64.tbz2.rmd160 2026-02-03 10:58  512   
 idris2-0.8.0_0.darwin_18.x86_64.tbz2        2026-02-03 21:19   28M  
 idris2-0.8.0_0.darwin_18.x86_64.tbz2.rmd160 2026-02-03 21:19  512   
 idris2-0.8.0_0.darwin_19.x86_64.tbz2        2026-02-03 20:00   28M  
 idris2-0.8.0_0.darwin_19.x86_64.tbz2.rmd160 2026-02-03 20:00  512   
 idris2-0.8.0_0.darwin_20.x86_64.tbz2        2026-02-03 09:59   28M  
 idris2-0.8.0_0.darwin_20.x86_64.tbz2.rmd160 2026-02-03 09:59  512   
 idris2-0.8.0_0.darwin_21.arm64.tbz2         2026-02-03 06:51   27M  
 idris2-0.8.0_0.darwin_21.arm64.tbz2.rmd160  2026-02-03 06:51  512   
 idris2-0.8.0_0.darwin_21.x86_64.tbz2        2026-02-03 07:19   28M  
 idris2-0.8.0_0.darwin_21.x86_64.tbz2.rmd160 2026-02-03 07:19  512   
 idris2-0.8.0_0.darwin_22.x86_64.tbz2        2026-02-04 16:57   28M  
 idris2-0.8.0_0.darwin_22.x86_64.tbz2.rmd160 2026-02-04 16:57  512   
 idris2-0.8.0_0.darwin_23.arm64.tbz2         2026-02-04 13:13   27M  
 idris2-0.8.0_0.darwin_23.arm64.tbz2.rmd160  2026-02-04 13:13  512   
 idris2-0.8.0_0.darwin_23.x86_64.tbz2        2026-02-03 06:23   28M  
 idris2-0.8.0_0.darwin_23.x86_64.tbz2.rmd160 2026-02-03 06:23  512   
 idris2-0.8.0_0.darwin_25.arm64.tbz2         2026-02-03 08:39   27M  
 idris2-0.8.0_0.darwin_25.arm64.tbz2.rmd160  2026-02-03 08:39  512