Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Coq 8.4pl1 for MacOS

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Coq 8.4pl1 for MacOS


Chronological Thread 
  • From: "Lucian M. Patcas" <lucian.patcas AT gmail.com>
  • To: coq-club <coq-club AT inria.fr>
  • Subject: [Coq-Club] Coq 8.4pl1 for MacOS
  • Date: Mon, 21 Jan 2013 10:46:20 -0500

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.

Thanks,
Lucian



Archive powered by MHonArc 2.6.18.

Top of Page