coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Buillding Coq: OCaml 3 vs OCaml 4

From: "Perry E. Metzger" <perry AT piermont.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] Buillding Coq: OCaml 3 vs OCaml 4
Date: Mon, 1 Oct 2012 13:10:12 -0400

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...

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

[Coq-Club] Buillding Coq: OCaml 3 vs OCaml 4, Perry E. Metzger, 10/01/2012
- Re: [Coq-Club] Buillding Coq: OCaml 3 vs OCaml 4, Hugo Herbelin, 10/02/2012
  - Re: [Coq-Club] Buillding Coq: OCaml 3 vs OCaml 4, Perry E. Metzger, 10/02/2012
    - Re: [Coq-Club] Buillding Coq: OCaml 3 vs OCaml 4, Hugo Herbelin, 10/02/2012