mxcl/homebrew — pull request #10895 by pdhborges (2012-03-12 23:50:19+00:00)
Title: [update] coq 8.3pl3

Bugfix release