/homebrew/proofgeneral/_metadata/

• ../
• description
• homepage
• name
• version