Jean-Pierre De Jesus Diaz <jean@foundation.xyz> skribis:

> This fixes the compilation of coq-ide, frama-c and why3.
>
> * gnu/packages/ocaml.scm (ocaml-cairo2): Build only cairo2 dune package,
> and remove lablgtk and gtk-2 from inputs.
>
> [...]
> +     (list ;; FIXME: lablgtk@2 package does not build, so skip building the
> +           ;; cairo-pango and cairo-gtk packages.  Once fixed, add lablgtk
> +           ;; back to inputs and remove this.
> +           #:package "cairo2"))

A fix for lablgtk was pushed yesterday in
0aa66ec0b0bef39591ddae3d8d06ac0fa71f03bb, so ocaml-cairo2 should build
now.