> On Aug 11, 2019, at 12:00 PM, Yozo TODA <y...@v007.vaio.ne.jp> wrote:
>
> -----BEGIN PGP SIGNED MESSAGE-----
> Hash: SHA512
>
>>>> to update math/coq lablgtk3 is needed which in turn depends on
>>>> ocaml-cairo and ocaml-configurator.
>
> just to confirm, aiming to update math/coq to 8.10, which is expected to be
> released soon.
> (coq 8.9 uses lablgtk2, and coq 8.10 will move to use lablgtk3.)
The current release of compcert doesn’t support coq 8.10. That support will be
available when the next release of compcert is made.
