Folder Path
/
gentoo-portage
/
app-emacs
/
proofgeneral
/
1
directory
3
files
4.2 KiB
total
List
Grid
Name
Size
Modified
Up
files/
—
04/30/2025 03:10:56 PM +00:00
Manifest
2.1 KiB
03/20/2025 12:38:28 PM +00:00
metadata.xml
656 B
03/20/2025 12:38:28 PM +00:00
proofgeneral-4.5.ebuild
1.5 KiB
03/20/2025 12:38:28 PM +00:00