| Parent directory/ | - | - |
| idris2-0.8.0_0.darwin_10.i386.tbz2 | 27.8 MiB | 2026-Feb-03 08:13 |
| idris2-0.8.0_0.darwin_10.i386.tbz2.rmd160 | 512 B | 2026-Feb-03 08:14 |
| idris2-0.8.0_0.darwin_11.x86_64.tbz2 | 28.0 MiB | 2026-Feb-07 03:30 |
| idris2-0.8.0_0.darwin_11.x86_64.tbz2.rmd160 | 512 B | 2026-Feb-07 03:30 |
| idris2-0.8.0_0.darwin_12.x86_64.tbz2 | 28.0 MiB | 2026-Feb-07 05:19 |
| idris2-0.8.0_0.darwin_12.x86_64.tbz2.rmd160 | 512 B | 2026-Feb-07 05:19 |
| idris2-0.8.0_0.darwin_13.x86_64.tbz2 | 28.0 MiB | 2026-Feb-06 03:18 |
| idris2-0.8.0_0.darwin_13.x86_64.tbz2.rmd160 | 512 B | 2026-Feb-06 03:18 |
| idris2-0.8.0_0.darwin_16.x86_64.tbz2 | 28.0 MiB | 2026-Feb-03 05:45 |
| idris2-0.8.0_0.darwin_16.x86_64.tbz2.rmd160 | 512 B | 2026-Feb-03 05:45 |
| idris2-0.8.0_0.darwin_17.x86_64.tbz2 | 28.0 MiB | 2026-Feb-03 10:58 |
| idris2-0.8.0_0.darwin_17.x86_64.tbz2.rmd160 | 512 B | 2026-Feb-03 10:58 |
| idris2-0.8.0_0.darwin_18.x86_64.tbz2 | 28.0 MiB | 2026-Feb-03 21:19 |
| idris2-0.8.0_0.darwin_18.x86_64.tbz2.rmd160 | 512 B | 2026-Feb-03 21:19 |
| idris2-0.8.0_0.darwin_19.x86_64.tbz2 | 28.0 MiB | 2026-Feb-03 20:00 |
| idris2-0.8.0_0.darwin_19.x86_64.tbz2.rmd160 | 512 B | 2026-Feb-03 20:00 |
| idris2-0.8.0_0.darwin_20.arm64.tbz2 | 26.8 MiB | 2026-Feb-08 16:04 |
| idris2-0.8.0_0.darwin_20.arm64.tbz2.rmd160 | 512 B | 2026-Feb-08 16:04 |
| idris2-0.8.0_0.darwin_20.x86_64.tbz2 | 28.0 MiB | 2026-Feb-03 09:59 |
| idris2-0.8.0_0.darwin_20.x86_64.tbz2.rmd160 | 512 B | 2026-Feb-03 09:59 |
| idris2-0.8.0_0.darwin_21.arm64.tbz2 | 26.8 MiB | 2026-Feb-03 06:51 |
| idris2-0.8.0_0.darwin_21.arm64.tbz2.rmd160 | 512 B | 2026-Feb-03 06:51 |
| idris2-0.8.0_0.darwin_21.x86_64.tbz2 | 28.0 MiB | 2026-Feb-03 07:19 |
| idris2-0.8.0_0.darwin_21.x86_64.tbz2.rmd160 | 512 B | 2026-Feb-03 07:19 |
| idris2-0.8.0_0.darwin_22.arm64.tbz2 | 26.8 MiB | 2026-Feb-05 03:17 |
| idris2-0.8.0_0.darwin_22.arm64.tbz2.rmd160 | 512 B | 2026-Feb-05 03:17 |
| idris2-0.8.0_0.darwin_22.x86_64.tbz2 | 28.0 MiB | 2026-Feb-04 16:57 |
| idris2-0.8.0_0.darwin_22.x86_64.tbz2.rmd160 | 512 B | 2026-Feb-04 16:57 |
| idris2-0.8.0_0.darwin_23.arm64.tbz2 | 26.8 MiB | 2026-Feb-04 13:13 |
| idris2-0.8.0_0.darwin_23.arm64.tbz2.rmd160 | 512 B | 2026-Feb-04 13:13 |
| idris2-0.8.0_0.darwin_23.x86_64.tbz2 | 28.0 MiB | 2026-Feb-03 06:23 |
| idris2-0.8.0_0.darwin_23.x86_64.tbz2.rmd160 | 512 B | 2026-Feb-03 06:23 |
| idris2-0.8.0_0.darwin_24.arm64.tbz2 | 26.8 MiB | 2026-Feb-07 08:24 |
| idris2-0.8.0_0.darwin_24.arm64.tbz2.rmd160 | 512 B | 2026-Feb-07 08:24 |
| idris2-0.8.0_0.darwin_24.x86_64.tbz2 | 28.0 MiB | 2026-Feb-07 00:22 |
| idris2-0.8.0_0.darwin_24.x86_64.tbz2.rmd160 | 512 B | 2026-Feb-07 00:22 |
| idris2-0.8.0_0.darwin_25.arm64.tbz2 | 26.8 MiB | 2026-Feb-03 08:39 |
| idris2-0.8.0_0.darwin_25.arm64.tbz2.rmd160 | 512 B | 2026-Feb-03 08:39 |
/idris2/