coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: "Perry E. Metzger" <perry AT piermont.com>
- To: coq-club AT inria.fr
- Cc: lucian.patcas AT gmail.com
- Subject: [Coq-Club] MacPorts update (was Re: Coq 8.5 advancement)
- Date: Tue, 20 May 2014 21:27:08 -0400
On Tue, 20 May 2014 21:14:27 -0400 "Perry E. Metzger"
<perry AT piermont.com>
wrote:
> 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.
As it proved to be trivial, I've already submitted the patch and it
should be updated some time in the next 24 hours. Please send me a
private note if it isn't.
--
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
- [Coq-Club] MacPorts update (was Re: Coq 8.5 advancement), Perry E. Metzger, 05/21/2014
- Re: [Coq-Club] Coq 8.5 advancement, Perry E. Metzger, 05/21/2014
- Re: [Coq-Club] Coq 8.5 advancement, Maxime Dénès, 05/20/2014
- Re: [Coq-Club] Coq 8.5 advancement, Pierre-Marie Pédrot, 05/20/2014
Archive powered by MHonArc 2.6.18.