coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: "Perry E. Metzger" <perry AT piermont.com>
- To: "Lucian M. Patcas" <lucian.patcas AT gmail.com>
- Cc: coq-club <coq-club AT inria.fr>
- Subject: Re: [Coq-Club] 8.4pl5 in MacPorts
- Date: Sat, 29 Nov 2014 12:09:16 -0500
On Mon, 3 Nov 2014 14:18:32 -0500 "Lucian M. Patcas"
<lucian.patcas AT gmail.com>
wrote:
> Is there any chance that the latest version 8.4pl5 will be
> available any time soon in MacPorts?
This was just updated in MacPorts source control system and should be
available shortly. Again, sorry that I didn't notice it needed doing
earlier.
--
Perry E. Metzger
perry AT piermont.com
- [Coq-Club] 8.4pl5 in MacPorts, Lucian M. Patcas, 11/03/2014
- Re: [Coq-Club] 8.4pl5 in MacPorts, John Wiegley, 11/03/2014
- Re: [Coq-Club] 8.4pl5 in MacPorts, Perry E. Metzger, 11/29/2014
- Re: [Coq-Club] 8.4pl5 in MacPorts, Perry E. Metzger, 11/29/2014
Archive powered by MHonArc 2.6.18.