Hello. gtkgl2 should probably be removed from next release, because at least of [1]. [1] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=967808 lablgtk2 seems to be the only remaining reverse dependency. Support for gtkgl2/gtkglaera is apparently optional and easy to disable. Is it possible to remove the dependency on gtkgl2 before the freeze, or are there some OCaml specifities making this unrealistic? Thanks.