|
📁 ../
|
- |
- |
|
📄 idris2-0.8.0_0.darwin_10.i386.tbz2
|
29140495 bytes
|
2026-02-03 08:13:59 |
|
📄 idris2-0.8.0_0.darwin_10.i386.tbz2.rmd160
|
512 bytes
|
2026-02-03 08:14:00 |
|
📄 idris2-0.8.0_0.darwin_16.x86_64.tbz2
|
29362528 bytes
|
2026-02-03 05:45:50 |
|
📄 idris2-0.8.0_0.darwin_16.x86_64.tbz2.rmd160
|
512 bytes
|
2026-02-03 05:45:50 |
|
📄 idris2-0.8.0_0.darwin_17.x86_64.tbz2
|
29335414 bytes
|
2026-02-03 10:58:26 |
|
📄 idris2-0.8.0_0.darwin_17.x86_64.tbz2.rmd160
|
512 bytes
|
2026-02-03 10:58:26 |
|
📄 idris2-0.8.0_0.darwin_18.x86_64.tbz2
|
29333762 bytes
|
2026-02-03 21:19:53 |
|
📄 idris2-0.8.0_0.darwin_18.x86_64.tbz2.rmd160
|
512 bytes
|
2026-02-03 21:19:53 |
|
📄 idris2-0.8.0_0.darwin_19.x86_64.tbz2
|
29366668 bytes
|
2026-02-03 20:00:54 |
|
📄 idris2-0.8.0_0.darwin_19.x86_64.tbz2.rmd160
|
512 bytes
|
2026-02-03 20:00:54 |
|
📄 idris2-0.8.0_0.darwin_20.x86_64.tbz2
|
29366435 bytes
|
2026-02-03 09:59:43 |
|
📄 idris2-0.8.0_0.darwin_20.x86_64.tbz2.rmd160
|
512 bytes
|
2026-02-03 09:59:43 |
|
📄 idris2-0.8.0_0.darwin_21.arm64.tbz2
|
28073417 bytes
|
2026-02-03 06:51:09 |
|
📄 idris2-0.8.0_0.darwin_21.arm64.tbz2.rmd160
|
512 bytes
|
2026-02-03 06:51:09 |
|
📄 idris2-0.8.0_0.darwin_21.x86_64.tbz2
|
29364668 bytes
|
2026-02-03 07:19:06 |
|
📄 idris2-0.8.0_0.darwin_21.x86_64.tbz2.rmd160
|
512 bytes
|
2026-02-03 07:19:07 |
|
📄 idris2-0.8.0_0.darwin_23.x86_64.tbz2
|
29361013 bytes
|
2026-02-03 06:23:47 |
|
📄 idris2-0.8.0_0.darwin_23.x86_64.tbz2.rmd160
|
512 bytes
|
2026-02-03 06:23:47 |
|
📄 idris2-0.8.0_0.darwin_25.arm64.tbz2
|
28076652 bytes
|
2026-02-03 08:39:15 |
|
📄 idris2-0.8.0_0.darwin_25.arm64.tbz2.rmd160
|
512 bytes
|
2026-02-03 08:39:15 |