The Coq mailing list

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

On Tue, 2 Oct 2012 01:47:41 +0200 Hugo Herbelin
<Hugo.Herbelin AT inria.fr>
 wrote:
> On Mon, Oct 01, 2012 at 01:10:12PM -0400, Perry E. Metzger wrote:
> > I submitted a patch to the MacPorts people a while ago to get
> > MacPorts updated for Coq 8.4
> > 
> > https://trac.macports.org/ticket/36005
> > 
> > A question arose in the subsequent commentary on the ticket about
> > why Coq is built with OCaml 3 and not OCaml 4. Could someone
> > enlighten me? It might speed up getting the patch accepted by the
> > MacPorts maintainers...
> 
> Coq 8.4 can be built both with ocaml 3 (officially version >= 3.11.2
> but >= 3.10.2 should probably be ok too) and ocaml 4.

So there is no continuing reason to build Coq with ocaml 3 rather
than ocaml 4, and I should update the MacPorts package to reflect
that?

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