/homebrew/nusmv/_metadata/

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