mxcl/homebrew — pull request #14043 by bellbind (2012-08-08 08:38:10+00:00)
Title: [update] coq-8.3pl4

Current coq-8.3pl3 formula cannot build with camlp5-6.06.
coq-8.3pl4 can build with it.