/usr/lib/ocaml/cairo2/cairo_ocaml.h declares variables without extern, causing multiple definitions if this file is included in multiple .c files, which is an error with gcc-10. This causes lablgtk3 (which includes cairo_ocaml.h) to have multiple definitions, which in turn causes why3 to FTBFS.
/usr/lib/ocaml/cairo2/cairo_ocaml.h declares variables without extern, causing multiple definitions if this file is included in multiple .c files, which is an error with gcc-10. This causes lablgtk3 (which includes cairo_ocaml.h) to have multiple definitions, which in turn causes why3 to FTBFS.
Reported in Debian as: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=968427