coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Coq on Mac

From: Robert Soule <robert.soule AT gmail.com>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] Coq on Mac
Date: Tue, 26 May 2009 13:06:05 -0400
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:date:message-id:subject:from:to:content-type :content-transfer-encoding; b=J0x99aOdC+zE7PT3PJ6JXS1soJqo0hx7yTBlGYKpQ3Sq4Bdar8+q90Rx39qcDanIe6 nh1/Wiqf8XhCnAolu4Xk7+BsMsNcg1FXvjyY1dEBzlg0BAKHA8RCvp/ZlyxxFPhwSaqF Apwx2ir204RTZJeA1fjNWpXLdVrPyB/M5xZQs=
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

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

[Coq-Club] Coq on Mac, Robert Soule
- Re: [Coq-Club] Coq on Mac, muad
  - Re: [Coq-Club] Coq on Mac, Robert Soule
- Re: [Coq-Club] Coq on Mac, Hugo Herbelin