package lablgtk3

1. conf-gtk3 >= "18"
2. cairo2 >= "0.6"
3. dune >= "1.8.0"
4. camlp-streams >= "5.0" & build
5. ocaml >= "4.09.0"

1. camlp5 dev
2. ocamlfind dev

1. 0install-gtk >= "2.16"
2. altgr-ergo >= "2.4.2"
3. bimage-gtk >= "0.1.1"
4. doculib
5. eio-trace
6. frama-c
7. lablgtk3-extras
8. lablgtk3-goocanvas2 >= "3.1.5"
9. lablgtk3-gtkspell3 < "3.0.beta7" | >= "3.1.5"
10. lablgtk3-rsvg2 >= "3.1.5"
11. lablgtk3-sourceview3 < "3.0.beta7" | >= "3.1.5"
12. ocaml-top >= "1.2.0"
13. unison >= "2.53.0" & < "2.53.4"
14. unison-gui
15. why3-ide >= "1.2.0"

None