wbrawner/homebrew-core
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
🍻 Default formulae for the missing package manager for macOS
53874 commits 3 branches 0 tags 278 MiB
Ruby 100%
Find a file
Alexandre Rademaker 85124b18c3 eprover 1.9 
Closes Homebrew/homebrew#49597.

Signed-off-by: Dominyk Tiller <dominyktiller@gmail.com>
2016-02-29 15:27:06 +00:00
Aliases htop 2.0.0 (new formula) 2016-02-12 09:26:11 +00:00
Formula eprover 1.9 2016-02-29 15:27:06 +00:00