/macports/release/ports/lang/idris2/
File Name
↓
File Size
↓
Date
↓
Parent directory/
-
-
files/
-
2024-Jun-24 20:03
Portfile
2.2 KiB
2025-Aug-05 05:23
/macports/release/ports/lang/idris2/