The Coq mailing list

[Théo Zimmermann <theo.zimmi AT gmail.com>]

Hello,

Indeed, Coq is known to have issues with OCaml 4.06. The Opam packages should be fixed to reflect this.
There is no plan to ever do a 8.6.2 release and 8.7.0 also has issues with OCaml 4.06 (only concerns CoqIDE IIRC). Coq 8.7.1 is planned to be released in December with OCaml 4.06 support.

UniMath should already be compatible with Coq 8.7 even if the submodule doesn't reflect this.

Théo

Le jeu. 23 nov. 2017 à 01:14, John Leo <leo AT halfaya.org> a écrit :

Hello everyone,

I'm new to this list so I apologize if this has been asked before. I recently tried to install UniMath using Ocaml 4.06; UniMath depends on Coq 8.6.1 which fails to compile with Ocaml 4.06 due to the change in behavior with bytes/string. I don't see any information online about 8.6.1 not working with 4.06; this page implies it does:

https://opam.ocaml.org/packages/coq/coq.8.6.1/

My question then is if there is an easy way UniMath (which uses 8.6.1 as a submodule) could get 8.6.1 to compile with Ocaml 4.06. Also will 8.6.2 support 4.06 and when is that due to be released? Finally does Coq 8.7.0 support Ocaml 4.06?

Thanks very much.

John Leo