package goblint

1. conf-gcc
2. conf-gmp >= "3"
3. catapult-file
4. catapult
5. uuidm
6. yaml >= "3.0.0"
7. arg-complete
8. cpu
9. fileutils >= "0.6.4"
10. sha >= "1.12"
11. jsonrpc >= "1.12"
12. json-data-encoding
13. dune-build-info
14. dune-site
15. fpath
16. ppx_deriving_yojson >= "3.7.0"
17. ppx_deriving_hash
18. ppx_deriving
19. qcheck-core >= "0.19" & < "0.26"
20. yojson >= "2.0.0" & < "3"
21. zarith >= "1.8"
22. batteries >= "3.5.0"
23. goblint-cil >= "2.0.2" & < "2.0.4"
24. ocaml >= "4.10"
25. dune >= "3.6"

1. benchmark with-test
2. conf-ruby with-test
3. odoc with-doc
4. qcheck-ounit with-test
5. ounit2 with-test

None

1. apron >= "v0.9.15"
2. result < "1.5"