The Coq mailing list

[Tony Sloane <inkytonik AT gmail.com>]

On 22/01/2013, at 8:15 PM, Pierre Boutillier 
<pierre.boutillier AT pps.univ-paris-diderot.fr>
 wrote:

>> Is there a binary package of Coq 8.4pl1 for the Mac? Right now only Coq 
>> 8.4 seems to be available for download at http://coq.inria.fr/download.

In my experience the easiest way to install Coq (or most other things) on Mac 
OS X is to use Homebrew (http://mxcl.github.com/homebrew/). There is a Coq 
package that is usually updated pretty quickly after new releases.

Coq 8.4pl1 is supported by the latest Homebrew Coq package, so once Homebrew 
is installed you can get it with a simple "brew install coq".

regards,
Tony