Folder Path
/
gentoo
/
app-emacs
/
proofgeneral
/
1
directory
3
files
4.2 KiB
total
List
Grid
Name
Size
Modified
Up
files/
—
4/13/2025, 10:14:54 AM
Manifest
2.1 KiB
3/20/2025, 12:38:28 PM
metadata.xml
656 B
3/20/2025, 12:38:28 PM
proofgeneral-4.5.ebuild
1.5 KiB
3/20/2025, 12:38:28 PM