On Tue, Mar 1, 2016 at 2:24 PM, Sébastien Hinderer <Sebastien.Hinderer@inria.fr> wrote:
Daniel Bünzli (2016/03/01 15:16 +0100):
> Le mardi, 1 mars 2016 à 14:56, Sébastien Hinderer a écrit :
> > So I assume this is a camlp4 packaging issue?
>
> Apparently. Workaround:
>
> opam pin add -kgit camlp4 https://github.com/ocaml/camlp4.git#4.03


This will be fixed by this PR: ​https://github.com/ocaml/opam-repository/pull/5832