mxcl/homebrew — pull request #18999 by duckki (2013-04-05 22:24:01+00:00)
Title: updated coq version up-to-date and fixed the download link of libantlr3c

1. the new version of coq (8.4pl2) has been released.

2. libantlr3c download link has been broken
The domain name has been changed from antlr.org to antrl3.org.