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

Icon  Name                                        Last modified      Size  
[PARENTDIR] Parent Directory                                                 -   
[   ] 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_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_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_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_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   
[   ] 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_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_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_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_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_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_22.arm64.tbz2         2026-02-05 03:17   27M  
[   ] idris2-0.8.0_0.darwin_22.arm64.tbz2.rmd160  2026-02-05 03:17  512   
[   ] idris2-0.8.0_0.darwin_13.x86_64.tbz2        2026-02-06 03:18   28M  
[   ] idris2-0.8.0_0.darwin_13.x86_64.tbz2.rmd160 2026-02-06 03:18  512   
[   ] idris2-0.8.0_0.darwin_24.x86_64.tbz2        2026-02-07 00:22   28M  
[   ] idris2-0.8.0_0.darwin_24.x86_64.tbz2.rmd160 2026-02-07 00:22  512   
[   ] idris2-0.8.0_0.darwin_11.x86_64.tbz2        2026-02-07 03:30   28M  
[   ] idris2-0.8.0_0.darwin_11.x86_64.tbz2.rmd160 2026-02-07 03:30  512   
[   ] idris2-0.8.0_0.darwin_12.x86_64.tbz2        2026-02-07 05:19   28M  
[   ] idris2-0.8.0_0.darwin_12.x86_64.tbz2.rmd160 2026-02-07 05:19  512   
[   ] idris2-0.8.0_0.darwin_24.arm64.tbz2         2026-02-07 08:24   27M  
[   ] idris2-0.8.0_0.darwin_24.arm64.tbz2.rmd160  2026-02-07 08:24  512   
[   ] idris2-0.8.0_0.darwin_20.arm64.tbz2         2026-02-08 16:04   27M  
[   ] idris2-0.8.0_0.darwin_20.arm64.tbz2.rmd160  2026-02-08 16:04  512