coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] 8.4pl5 in MacPorts

From: "John Wiegley" <johnw AT newartisans.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] 8.4pl5 in MacPorts
Date: Mon, 03 Nov 2014 16:04:05 -0600
Organization: New Artisans LLC

>>>>> Lucian M Patcas
>>>>> <lucian.patcas AT gmail.com>
>>>>> writes:

> Is there any chance that the latest version 8.4pl5 will be available any
> time
> soon in MacPorts?

I just added it to Nix, fwiw.

John

[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