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

File NameFile SizeDate
Parent directory/--
files/-24-Jun-2024 20:03
Portfile 230825-Jul-2024 11:21