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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[DIR]files/2024-06-24 16:03 -  
[   ]Portfile2024-07-25 07:21 2.3K