Index of /sites/rsync.macports.org/release/ports/lang/idris2/?C=N&O=D
Name Last modified Size
Parent Directory -
files/ 2024-06-24 21:03 -
Portfile 2024-07-25 12:21 2.3K
Name Last modified Size
Parent Directory -
files/ 2024-06-24 21:03 -
Portfile 2024-07-25 12:21 2.3K