/macports/trunk/dports/lang/idris2/
File Name
↓
File Size
↓
Date
↓
Parent directory/
-
-
files/
-
2024-Jun-24 20:03
Portfile
2.3 KiB
2024-Jul-25 11:21
/macports/trunk/dports/lang/idris2/