mxcl/homebrew — pull request #14389 by bellbind (2012-08-22 19:27:39+00:00)
Title: [update] coq-8.4

- http://coq.inria.fr/coq-84-is-out