package lablgtk3

1. cairo2 >= "0.6"
2. conf-gtk3 build & >= "18"
3. dune-configurator
4. dune >= "1.4.0"
5. ocaml >= "4.05.0" & < "4.09"

None

1. 0install-gtk >= "2.16" & < "2.18"
2. altgr-ergo >= "2.4.2"
3. bimage-gtk >= "0.2.1"
4. frama-c < "22.0"
5. lablgtk3-sourceview3 < "3.0.beta5"
6. ocaml-top >= "1.2.0"
7. unison-gui
8. why3-ide >= "1.2.0"

None