Index of /pub/macports/packages/idris2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]idris2-0.7.0_1.darwin_11.x86_64.tbz22024-07-25 20:03 25M 
[ ]idris2-0.7.0_1.darwin_11.x86_64.tbz2.rmd1602024-07-25 20:03 512  
[ ]idris2-0.7.0_1.darwin_12.x86_64.tbz22024-07-25 07:39 25M 
[ ]idris2-0.7.0_1.darwin_12.x86_64.tbz2.rmd1602024-07-25 07:39 512  
[ ]idris2-0.7.0_1.darwin_13.x86_64.tbz22024-07-25 08:22 25M 
[ ]idris2-0.7.0_1.darwin_13.x86_64.tbz2.rmd1602024-07-25 08:22 512  
[ ]idris2-0.7.0_1.darwin_16.x86_64.tbz22024-06-25 04:45 25M 
[ ]idris2-0.7.0_1.darwin_16.x86_64.tbz2.rmd1602024-06-25 04:45 512  
[ ]idris2-0.7.0_1.darwin_17.x86_64.tbz22024-06-26 07:39 25M 
[ ]idris2-0.7.0_1.darwin_17.x86_64.tbz2.rmd1602024-06-26 07:39 512  
[ ]idris2-0.7.0_1.darwin_18.x86_64.tbz22024-06-26 07:33 25M 
[ ]idris2-0.7.0_1.darwin_18.x86_64.tbz2.rmd1602024-06-26 07:33 512  
[ ]idris2-0.7.0_1.darwin_19.x86_64.tbz22024-06-25 15:18 25M 
[ ]idris2-0.7.0_1.darwin_19.x86_64.tbz2.rmd1602024-06-25 15:18 512  
[ ]idris2-0.7.0_1.darwin_20.x86_64.tbz22024-06-25 08:43 25M 
[ ]idris2-0.7.0_1.darwin_20.x86_64.tbz2.rmd1602024-06-25 08:43 512  
[ ]idris2-0.7.0_1.darwin_21.arm64.tbz22024-06-25 11:27 24M 
[ ]idris2-0.7.0_1.darwin_21.arm64.tbz2.rmd1602024-06-25 11:27 512  
[ ]idris2-0.7.0_1.darwin_21.x86_64.tbz22024-06-26 10:27 25M 
[ ]idris2-0.7.0_1.darwin_21.x86_64.tbz2.rmd1602024-06-26 10:27 512  
[ ]idris2-0.7.0_1.darwin_22.arm64.tbz22024-06-25 01:14 24M 
[ ]idris2-0.7.0_1.darwin_22.arm64.tbz2.rmd1602024-06-25 01:14 512  
[ ]idris2-0.7.0_1.darwin_22.x86_64.tbz22024-06-26 14:02 25M 
[ ]idris2-0.7.0_1.darwin_22.x86_64.tbz2.rmd1602024-06-26 14:02 512  
[ ]idris2-0.7.0_1.darwin_23.arm64.tbz22024-06-24 15:52 24M 
[ ]idris2-0.7.0_1.darwin_23.arm64.tbz2.rmd1602024-06-24 15:52 512  
[ ]idris2-0.7.0_1.darwin_23.x86_64.tbz22024-06-25 16:08 25M 
[ ]idris2-0.7.0_1.darwin_23.x86_64.tbz2.rmd1602024-06-25 16:08 512  
[ ]idris2-0.7.0_1.darwin_24.x86_64.tbz22024-10-09 21:01 27M 
[ ]idris2-0.7.0_1.darwin_24.x86_64.tbz2.rmd1602024-10-09 21:01 512