The Coq mailing list

["Perry E. Metzger" <perry AT piermont.com>]

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