coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 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.- [Coq-Club] Coq 8.4pl1 for MacOS, Lucian M. Patcas, 01/21/2013
- Re: [Coq-Club] Coq 8.4pl1 for MacOS, Perry E. Metzger, 01/21/2013
- Re: [Coq-Club] Coq 8.4pl1 for MacOS, Pierre Boutillier, 01/22/2013
- Re: [Coq-Club] Coq 8.4pl1 for MacOS, Tony Sloane, 01/22/2013
Archive powered by MHonArc 2.6.18.