Homebrew/homebrew — pull request #33788 by DomT4 (2014-10-31 23:40:15+00:00)
Title: coq 8.4pl5

Version bump.

Closes #33653