Index of /macports/packages/idris2

[ICO]NameLast modifiedSizeDescription
[ ]Parent Directory   -  
[ ]idris2-0.8.0_0.darwi..>2026-02-03 08:39 512  
[ ]idris2-0.8.0_0.darwi..>2026-02-03 08:39 27M 
[ ]idris2-0.8.0_0.darwi..>2026-02-07 00:22 512  
[ ]idris2-0.8.0_0.darwi..>2026-02-07 00:22 28M 
[ ]idris2-0.8.0_0.darwi..>2026-02-07 08:24 512  
[ ]idris2-0.8.0_0.darwi..>2026-02-07 08:24 27M 
[ ]idris2-0.8.0_0.darwi..>2026-02-03 06:23 512  
[ ]idris2-0.8.0_0.darwi..>2026-02-03 06:23 28M 
[ ]idris2-0.8.0_0.darwi..>2026-02-04 13:13 512  
[ ]idris2-0.8.0_0.darwi..>2026-02-04 13:13 27M 
[ ]idris2-0.8.0_0.darwi..>2026-02-04 16:57 512  
[ ]idris2-0.8.0_0.darwi..>2026-02-04 16:57 28M 
[ ]idris2-0.8.0_0.darwi..>2026-02-05 03:17 512  
[ ]idris2-0.8.0_0.darwi..>2026-02-05 03:17 27M 
[ ]idris2-0.8.0_0.darwi..>2026-02-03 07:19 512  
[ ]idris2-0.8.0_0.darwi..>2026-02-03 07:19 28M 
[ ]idris2-0.8.0_0.darwi..>2026-02-03 06:51 512  
[ ]idris2-0.8.0_0.darwi..>2026-02-03 06:51 27M 
[ ]idris2-0.8.0_0.darwi..>2026-02-03 09:59 512  
[ ]idris2-0.8.0_0.darwi..>2026-02-03 09:59 28M 
[ ]idris2-0.8.0_0.darwi..>2026-02-08 16:04 512  
[ ]idris2-0.8.0_0.darwi..>2026-02-08 16:04 27M 
[ ]idris2-0.8.0_0.darwi..>2026-02-03 20:00 512  
[ ]idris2-0.8.0_0.darwi..>2026-02-03 20:00 28M 
[ ]idris2-0.8.0_0.darwi..>2026-02-03 21:19 512  
[ ]idris2-0.8.0_0.darwi..>2026-02-03 21:19 28M 
[ ]idris2-0.8.0_0.darwi..>2026-02-03 10:58 512  
[ ]idris2-0.8.0_0.darwi..>2026-02-03 10:58 28M 
[ ]idris2-0.8.0_0.darwi..>2026-02-03 05:45 512  
[ ]idris2-0.8.0_0.darwi..>2026-02-03 05:45 28M 
[ ]idris2-0.8.0_0.darwi..>2026-02-06 03:18 512  
[ ]idris2-0.8.0_0.darwi..>2026-02-06 03:18 28M 
[ ]idris2-0.8.0_0.darwi..>2026-02-07 05:19 512  
[ ]idris2-0.8.0_0.darwi..>2026-02-07 05:19 28M 
[ ]idris2-0.8.0_0.darwi..>2026-02-07 03:30 512  
[ ]idris2-0.8.0_0.darwi..>2026-02-07 03:30 28M 
[ ]idris2-0.8.0_0.darwi..>2026-02-03 08:14 512  
[ ]idris2-0.8.0_0.darwi..>2026-02-03 08:13 28M