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
13623 commits 3 branches 0 tags 278 MiB
Ruby 100%
Find a file
Ming-Hsien Tsai 7d3e8677fa Proof General 4.1 
Closes Homebrew/homebrew#14827.

Signed-off-by: Adam Vandenberg <flangy@gmail.com>
2012-12-16 22:45:58 -08:00
Aliases Remove formulae moved to Homebrew-science 2012-11-23 11:42:16 -06:00
Formula Proof General 4.1 2012-12-16 22:45:58 -08:00