The Coq mailing list

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

On Mon, 3 Nov 2014 14:18:32 -0500 "Lucian M. Patcas"
<lucian.patcas AT gmail.com>
 wrote:
> Is there any chance that the latest version 8.4pl5 will be
> available any time soon in MacPorts?

Hello! Sorry I missed seeing this weeks ago.

I am the maintainer of coq in macports, and I'm happy to always
update it as soon as I'm aware that a new patch has arrived, but
sometimes I miss the news of that because I'm busy with other things.
You should always feel free to drop me a note saying "please update
the port".

I'll test a build of 8.4pl5 right now and send in the update, it
should be done today or tomorrow. And again, if in the future you
feel impatient, please feel free to drop me a note!

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