Index of /macports/release/ports/lang/idris2

[ICO]NameLast modifiedSizeDescription

[   ]Parent Directory   -  
[   ]Portfile 2024-07-25 12:21 2.3K 
[DIR]files/ 2024-06-24 21:03 -