The Coq mailing list

["Perry E. Metzger" <perry AT piermont.com>]

On Mon, 21 Jan 2013 10:46:20 -0500 "Lucian M. Patcas"
<lucian.patcas AT gmail.com>
 wrote:
> Hello,
> 
> 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.

If you're a macports user, I submitted the patches to macports needed
to make 8.4p1 build, but for whatever reason they have not been
applied. However, you can extract the patches out of the ticket
system pretty easily and apply them yourself.

Perry
-- 
Perry E. Metzger                
perry AT piermont.com