/homebrew/coq/_metadata/

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