Index of /idris2/

Icon  Name                                        Last modified      Size  
[PARENTDIR] 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