Eiffel formulae for the Homebrew package manager