Index of /sites/rsync.macports.org/release/ports/lang/idris2/
Name Last modified Size
Parent Directory -
Portfile 2024-06-24 21:03 2.1K
files/ 2024-06-24 21:03 -
Name Last modified Size
Parent Directory -
Portfile 2024-06-24 21:03 2.1K
files/ 2024-06-24 21:03 -