🍻 Default formulae for the missing package manager for macOS

Duckki Oe f18e643665 updated coq version to 8.4pl2 ... Closes Homebrew/homebrew#18999. Signed-off-by: Jack Nagel <jacknagel@gmail.com>		2013-04-07 14:15:47 -05:00
Aliases	Remove broken aliases	2013-04-01 19:15:22 -05:00
Formula	updated coq version to 8.4pl2	2013-04-07 14:15:47 -05:00