The Coq mailing list

[muad <muad.dib.space AT gmail.com>]

Robert Soule wrote:
> 
> Hi,
> 
> Does anyone know if there is a binary installation of Coq for Intel Macs
> available? I only saw the Windows binary on the web site, and building
> the source myself was giving me some problems.
> 
> thank you,
> Robert
> 
> --------------------------------------------------------
> Bug reports: http://logical.saclay.inria.fr/coq-bugs
> Archives: http://pauillac.inria.fr/pipermail/coq-club
>           http://pauillac.inria.fr/bin/wilma/coq-club
> Info: http://pauillac.inria.fr/mailman/listinfo/coq-club
> 
> 

They have made the website a lot worse and harder to use recently, I am not
sure why... even the documentation is missing.
You should be able to get a binary from ftp://ftp.inria.fr/INRIA/coq/V8.1/
though, they didn't get around to modernizing (aka breaking) that yet :p

-- 
View this message in context: 
http://www.nabble.com/Coq-on-Mac-tp23727440p23727649.html
Sent from the Coq mailing list archive at Nabble.com.