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

../
files/                                             24-Jun-2024 23:03       -
Portfile                                           05-Aug-2025 08:23    2256