Folder Path
/
macports
/
trunk
/
dports
/
lang
/
idris2
/
1
directory
1
file
2.2 KiB
total
List
Grid
Name
Size
Modified
Up
files/
—
06/24/2024 08:03:30 PM +00:00
Portfile
2.2 KiB
08/05/2025 05:23:27 AM +00:00