The Coq mailing list

[Hugo Herbelin <herbelin AT pauillac.inria.fr>]

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.

The coq web site is moving from one server to another and I have been
told that he may remain unstable until tomorrow evening (though
hopefully not). Sorry for the inconvenience.

In the meantime, you can download the Mac intel package at
"http://pauillac.inria.fr/~herbelin/coq-8.2-intel.dmg";.

Hugo Herbelin