package lablgtk

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

None

1. 0install-gtk < "2.16"
2. alt-ergo-free >= "2.3.3"
3. altgr-ergo < "2.4.2"
4. bimage-gtk < "0.1.1"
5. cairo != "0.4.2"
6. cairo2 < "0.4.6"
7. cairo2-gtk
8. cairo2-pango
9. chamo = "2.03"
10. coqide < "8.10.0"
11. dbforge
12. frama-c != "10.0" & < "26.0"
13. freetennis
14. genet
15. gtk-light
16. gtktop
17. lablgtk-extras
18. lablgtkosx
19. lwt_glib < "1.0.1"
20. mlpost-lablgtk
21. ocaml-top < "1.2.0"
22. ocamldiff < "1.1"
23. ocamldot < "1.1"
24. ocamleditor
25. ocamlgraph_gtk
26. ocamlviz
27. odiff-gtk
28. picasso < "0.2.0"
29. profound
30. prooftree
31. proverif >= "1.98"
32. unison < "2.48.15v4" | >= "2.51.4" & < "2.53.0"
33. why3 >= "0.83" & < "1.0.0"
34. why3-ide < "1.6.0"
35. zelus-gtk

1. base-domains