package ocamlgraph

1. ocamlfind
2. ocaml < "4.06.0"

None

1. acgtk >= "2.0.0"
2. acpc >= "1.2" & < "2.0.0"
3. alt-ergo < "1.01"
4. altgr-ergo < "1.01"
5. archsat
6. awsm-codegen
7. bap >= "0.9.2" & < "1.0.0"
8. bap-phoenix
9. binsec
10. depgraph
11. doculib >= "1.3.5"
12. dose >= "3.4.1"
13. dose3 < "6.1"
14. forester < "2.4"
15. frama-c >= "8.0" & < "11.0"
16. frama-c-base
17. frenetic >= "3.0.0" & < "3.2.0"
18. functoria < "4.0.0~beta1"
19. GT
20. git < "3.0.0"
21. graphlib
22. heptagon
23. hts_shrink < "3.0.1"
24. irmin
25. llvmgraph >= "0.2"
26. modelica_ml >= "0.2.0"
27. molenc >= "11.4.0"
28. octez-internal-libs
29. opa-base
30. opam-core
31. opam-lib
32. ott >= "0.33"
33. pfff >= "0.37.1"
34. planck >= "2.1.1"
35. rfsm < "2.0"
36. satML-plugin < "1.01"
37. satyrographos >= "0.0.2.7"
38. solvuu-build
39. solvuu_build
40. squirrel
41. tezos-benchmark
42. topology >= "0.4.0"
43. why3 >= "0.85" & < "1.0.0"

None