Index of /macports-packages/idris2/

../
idris2-0.8.0_0.darwin_10.i386.tbz2                 03-Feb-2026 08:13            29140495
idris2-0.8.0_0.darwin_10.i386.tbz2.rmd160          03-Feb-2026 08:14                 512
idris2-0.8.0_0.darwin_11.x86_64.tbz2               07-Feb-2026 03:30            29369567
idris2-0.8.0_0.darwin_11.x86_64.tbz2.rmd160        07-Feb-2026 03:30                 512
idris2-0.8.0_0.darwin_12.x86_64.tbz2               07-Feb-2026 05:19            29367807
idris2-0.8.0_0.darwin_12.x86_64.tbz2.rmd160        07-Feb-2026 05:19                 512
idris2-0.8.0_0.darwin_13.x86_64.tbz2               06-Feb-2026 03:18            29364715
idris2-0.8.0_0.darwin_13.x86_64.tbz2.rmd160        06-Feb-2026 03:18                 512
idris2-0.8.0_0.darwin_16.x86_64.tbz2               03-Feb-2026 05:45            29362528
idris2-0.8.0_0.darwin_16.x86_64.tbz2.rmd160        03-Feb-2026 05:45                 512
idris2-0.8.0_0.darwin_17.x86_64.tbz2               03-Feb-2026 10:58            29335414
idris2-0.8.0_0.darwin_17.x86_64.tbz2.rmd160        03-Feb-2026 10:58                 512
idris2-0.8.0_0.darwin_18.x86_64.tbz2               03-Feb-2026 21:19            29333762
idris2-0.8.0_0.darwin_18.x86_64.tbz2.rmd160        03-Feb-2026 21:19                 512
idris2-0.8.0_0.darwin_19.x86_64.tbz2               03-Feb-2026 20:00            29366668
idris2-0.8.0_0.darwin_19.x86_64.tbz2.rmd160        03-Feb-2026 20:00                 512
idris2-0.8.0_0.darwin_20.arm64.tbz2                08-Feb-2026 16:04            28152352
idris2-0.8.0_0.darwin_20.arm64.tbz2.rmd160         08-Feb-2026 16:04                 512
idris2-0.8.0_0.darwin_20.x86_64.tbz2               03-Feb-2026 09:59            29366435
idris2-0.8.0_0.darwin_20.x86_64.tbz2.rmd160        03-Feb-2026 09:59                 512
idris2-0.8.0_0.darwin_21.arm64.tbz2                03-Feb-2026 06:51            28073417
idris2-0.8.0_0.darwin_21.arm64.tbz2.rmd160         03-Feb-2026 06:51                 512
idris2-0.8.0_0.darwin_21.x86_64.tbz2               03-Feb-2026 07:19            29364668
idris2-0.8.0_0.darwin_21.x86_64.tbz2.rmd160        03-Feb-2026 07:19                 512
idris2-0.8.0_0.darwin_22.arm64.tbz2                05-Feb-2026 03:17            28073378
idris2-0.8.0_0.darwin_22.arm64.tbz2.rmd160         05-Feb-2026 03:17                 512
idris2-0.8.0_0.darwin_22.x86_64.tbz2               04-Feb-2026 16:57            29365124
idris2-0.8.0_0.darwin_22.x86_64.tbz2.rmd160        04-Feb-2026 16:57                 512
idris2-0.8.0_0.darwin_23.arm64.tbz2                04-Feb-2026 13:13            28074709
idris2-0.8.0_0.darwin_23.arm64.tbz2.rmd160         04-Feb-2026 13:13                 512
idris2-0.8.0_0.darwin_23.x86_64.tbz2               03-Feb-2026 06:23            29361013
idris2-0.8.0_0.darwin_23.x86_64.tbz2.rmd160        03-Feb-2026 06:23                 512
idris2-0.8.0_0.darwin_24.arm64.tbz2                07-Feb-2026 08:24            28075079
idris2-0.8.0_0.darwin_24.arm64.tbz2.rmd160         07-Feb-2026 08:24                 512
idris2-0.8.0_0.darwin_24.x86_64.tbz2               07-Feb-2026 00:22            29360768
idris2-0.8.0_0.darwin_24.x86_64.tbz2.rmd160        07-Feb-2026 00:22                 512
idris2-0.8.0_0.darwin_25.arm64.tbz2                03-Feb-2026 08:39            28076652
idris2-0.8.0_0.darwin_25.arm64.tbz2.rmd160         03-Feb-2026 08:39                 512