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
39070 commits 3 branches 0 tags 278 MiB
Ruby 100%
Find a file
Alex Dunn 1077979628 proof-general: use EmacsRequirement 
Closes Homebrew/homebrew#39533.

Signed-off-by: Xu Cheng <xucheng@me.com>
2015-05-09 13:59:06 +08:00
Aliases pcre1: add symlink to pcre 2015-05-07 00:12:24 -07:00
Formula proof-general: use EmacsRequirement 2015-05-09 13:59:06 +08:00