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

../
files/                                                                                                                   24-Jun-2024 20:03       -
Portfile                                                                                                                 25-Jul-2024 11:21    2308