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