Index of /macports/trunk/dports/lang/idris2/

../
files/                                             25-Jun-2024 04:03       -
Portfile                                           25-Jul-2024 19:21    2308