Index of /gentoo-portage/app-emacs/proofgeneral/
Name
Size
Date
📁 ../
-
-
📁 files/
-
2025-12-01 09:40:43
📄 Manifest
2161 bytes
2025-03-20 12:38:28
📄 metadata.xml
656 bytes
2025-03-20 12:38:28
📄 proofgeneral-4.5.ebuild
1492 bytes
2025-03-20 12:38:28