package lablgtk

1. conf-gtk2 build
2. ocamlfind >= "1.2.1"
3. ocaml >= "4.05" & < "5.0.0"

None

1. 0install-gtk < "2.16"
2. altgr-ergo < "2.4.2"
3. bimage-gtk < "0.1.1"
4. cairo2-gtk
5. cairo2-pango
6. coqide < "8.10.0"
7. frama-c < "26.0"
8. freetennis
9. lablgtk-extras
10. lablgtkosx
11. mlpost-lablgtk
12. ocaml-top < "1.2.0"
13. ocamleditor
14. ocamlgraph_gtk
15. picasso < "0.2.0"
16. prooftree
17. proverif
18. unison >= "2.51.4" & < "2.53.0"
19. why3-ide < "1.6.0"
20. zelus-gtk

1. base-domains