🍻 Default formulae for the missing package manager for macOS (or Linux)

Darin Morrison f42469b3fe coq: fix camlp5 --transitional dependency ... Closes Homebrew/homebrew#22672. Closes Homebrew/homebrew#22675. Signed-off-by: Adam Vandenberg <flangy@gmail.com>		2013-09-19 07:53:38 -07:00
Aliases	Alias myrepos -> mr	2013-08-17 07:42:39 -07:00
Formula	coq: fix camlp5 --transitional dependency	2013-09-19 07:53:38 -07:00