/app-emacs/proofgeneral/

• ../
• Manifest
• files
• metadata.xml
• proofgeneral-4.4.ebuild
• proofgeneral-4.5.ebuild
• proofgeneral-4.5_pre20220228.ebuild