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
47937 commits 3 branches 0 tags 278 MiB
Ruby 100%
Find a file
Xu Cheng 261b380122 agda: assign minimum emacs version 
Temporary fix for Homebrew/homebrew#45616.

Closes Homebrew/homebrew#45616.
2015-11-04 20:46:04 +08:00
Aliases nim 0.12 2015-11-03 18:01:33 -08:00
Formula agda: assign minimum emacs version 2015-11-04 20:46:04 +08:00