Index of /pub/macports/packages/idris2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]idris2-0.8.0_0.darwin_10.i386.tbz22026-02-03 03:13 28M 
[ ]idris2-0.8.0_0.darwin_10.i386.tbz2.rmd1602026-02-03 03:14 512  
[ ]idris2-0.8.0_0.darwin_11.x86_64.tbz22026-02-06 22:30 28M 
[ ]idris2-0.8.0_0.darwin_11.x86_64.tbz2.rmd1602026-02-06 22:30 512  
[ ]idris2-0.8.0_0.darwin_12.x86_64.tbz22026-02-07 00:19 28M 
[ ]idris2-0.8.0_0.darwin_12.x86_64.tbz2.rmd1602026-02-07 00:19 512  
[ ]idris2-0.8.0_0.darwin_13.x86_64.tbz22026-02-05 22:18 28M 
[ ]idris2-0.8.0_0.darwin_13.x86_64.tbz2.rmd1602026-02-05 22:18 512  
[ ]idris2-0.8.0_0.darwin_16.x86_64.tbz22026-02-03 00:45 28M 
[ ]idris2-0.8.0_0.darwin_16.x86_64.tbz2.rmd1602026-02-03 00:45 512  
[ ]idris2-0.8.0_0.darwin_17.x86_64.tbz22026-02-03 05:58 28M 
[ ]idris2-0.8.0_0.darwin_17.x86_64.tbz2.rmd1602026-02-03 05:58 512  
[ ]idris2-0.8.0_0.darwin_18.x86_64.tbz22026-02-03 16:19 28M 
[ ]idris2-0.8.0_0.darwin_18.x86_64.tbz2.rmd1602026-02-03 16:19 512  
[ ]idris2-0.8.0_0.darwin_19.x86_64.tbz22026-02-03 15:00 28M 
[ ]idris2-0.8.0_0.darwin_19.x86_64.tbz2.rmd1602026-02-03 15:00 512  
[ ]idris2-0.8.0_0.darwin_20.arm64.tbz22026-02-08 11:04 27M 
[ ]idris2-0.8.0_0.darwin_20.arm64.tbz2.rmd1602026-02-08 11:04 512  
[ ]idris2-0.8.0_0.darwin_20.x86_64.tbz22026-02-03 04:59 28M 
[ ]idris2-0.8.0_0.darwin_20.x86_64.tbz2.rmd1602026-02-03 04:59 512  
[ ]idris2-0.8.0_0.darwin_21.arm64.tbz22026-02-03 01:51 27M 
[ ]idris2-0.8.0_0.darwin_21.arm64.tbz2.rmd1602026-02-03 01:51 512  
[ ]idris2-0.8.0_0.darwin_21.x86_64.tbz22026-02-03 02:19 28M 
[ ]idris2-0.8.0_0.darwin_21.x86_64.tbz2.rmd1602026-02-03 02:19 512  
[ ]idris2-0.8.0_0.darwin_22.arm64.tbz22026-02-04 22:17 27M 
[ ]idris2-0.8.0_0.darwin_22.arm64.tbz2.rmd1602026-02-04 22:17 512  
[ ]idris2-0.8.0_0.darwin_22.x86_64.tbz22026-02-04 11:57 28M 
[ ]idris2-0.8.0_0.darwin_22.x86_64.tbz2.rmd1602026-02-04 11:57 512  
[ ]idris2-0.8.0_0.darwin_23.arm64.tbz22026-02-04 08:13 27M 
[ ]idris2-0.8.0_0.darwin_23.arm64.tbz2.rmd1602026-02-04 08:13 512  
[ ]idris2-0.8.0_0.darwin_23.x86_64.tbz22026-02-03 01:23 28M 
[ ]idris2-0.8.0_0.darwin_23.x86_64.tbz2.rmd1602026-02-03 01:23 512  
[ ]idris2-0.8.0_0.darwin_24.arm64.tbz22026-02-07 03:24 27M 
[ ]idris2-0.8.0_0.darwin_24.arm64.tbz2.rmd1602026-02-07 03:24 512  
[ ]idris2-0.8.0_0.darwin_24.x86_64.tbz22026-02-06 19:22 28M 
[ ]idris2-0.8.0_0.darwin_24.x86_64.tbz2.rmd1602026-02-06 19:22 512  
[ ]idris2-0.8.0_0.darwin_25.arm64.tbz22026-02-03 03:39 27M 
[ ]idris2-0.8.0_0.darwin_25.arm64.tbz2.rmd1602026-02-03 03:39 512