coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coq 8.5 advancement

From: "Perry E. Metzger" <perry AT piermont.com>
To: coq-club AT inria.fr
Cc: lucian.patcas AT gmail.com
Subject: Re: [Coq-Club] Coq 8.5 advancement
Date: Tue, 20 May 2014 21:14:27 -0400

On Tue, 20 May 2014 20:17:05 -0400 "Lucian M. Patcas"
<lucian.patcas AT gmail.com>
wrote:
> Hi all,
>
> Any chance that 8.4pl4 will be available in MacPorts any time soon?

Sorry, that's something I maintain and I dropped the ball on it. I'll
deal with that tomorrow.

Perry
--
Perry E. Metzger
perry AT piermont.com

[Coq-Club] Coq 8.5 advancement, AUGER Cédric, 05/20/2014
- Re: [Coq-Club] Coq 8.5 advancement, Pierre-Marie Pédrot, 05/20/2014
  - Re: [Coq-Club] Coq 8.5 advancement, Maxime Dénès, 05/20/2014
    - Re: [Coq-Club] Coq 8.5 advancement, Maxime Dénès, 05/20/2014
    - Re: [Coq-Club] Coq 8.5 advancement, Lucian M. Patcas, 05/21/2014
      - Re: [Coq-Club] Coq 8.5 advancement, Perry E. Metzger, 05/21/2014
        
        [Coq-Club] MacPorts update (was Re: Coq 8.5 advancement), Perry E. Metzger, 05/21/2014
        
        Re: [Coq-Club] MacPorts update (was Re: Coq 8.5 advancement), Lucian M. Patcas, 05/21/2014