The Coq mailing list

["Lucian M. Patcas" <lucian.patcas AT gmail.com>]

Thank you very much. The update to the new version went well.

Best,
Lucian

On 20 May 2014 21:27, Perry E. Metzger <perry AT piermont.com> wrote:

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