🍻 Default formulae for the missing package manager for macOS (or Linux)
Go to file
Carlo Cabrera 504c925617
prover9: update 2009-11A bottle.
2021-08-21 23:30:09 +00:00
.github
Aliases
Formula prover9: update 2009-11A bottle. 2021-08-21 23:30:09 +00:00
audit_exceptions
cmd
style_exceptions
CODEOWNERS
CONTRIBUTING.md
LICENSE.txt
README.md
formula_renames.json
pypi_formula_mappings.json
tap_migrations.json

README.md

Homebrew Core

Core formulae for the Homebrew package manager.

Core formulae for the Linuxbrew package manager (Homebrew on Linux or Windows 10 Subsystem for Linux) are in Homebrew/linuxbrew-core.

Homebrew/discussions (forum)

How do I install these formulae?

Just brew install <formula>. This is the default tap for Homebrew and is installed by default.

More Documentation, Troubleshooting, Contributing, Security, Community, Donations, License and Sponsors

See these sections in Homebrew/brew's README.