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

File NameFile SizeDate
Parent directory/--
files/-24-Jun-2024 20:03
Portfile 225605-Aug-2025 05:23