coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] problems building with a recent OCaml compiler

From: "Perry E. Metzger" <perry AT piermont.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] problems building with a recent OCaml compiler
Date: Mon, 20 Oct 2014 18:55:08 -0400

It appears there are some issues building Coq with a recent OCaml
compiler, see:

http://caml.inria.fr/mantis/view.php?id=6561

Is there a recommended workaround?

Perry

[Coq-Club] problems building with a recent OCaml compiler, Perry E. Metzger, 10/21/2014
- Re: [Coq-Club] problems building with a recent OCaml compiler, Jason Gross, 10/21/2014
  - Re: [Coq-Club] problems building with a recent OCaml compiler, Perry E. Metzger, 10/21/2014
    - Re: [Coq-Club] problems building with a recent OCaml compiler, Jason Gross, 10/21/2014
      - Re: [Coq-Club] problems building with a recent OCaml compiler, Catalin Hritcu, 10/22/2014