/homebrew/minisat/

• ../
• .beer
• .make.sh-auto
• _metadata
• download.sh
• patches.sh