package caisar

1. ppx_deriving_yaml >= "0.3.0"
2. ppx_deriving_yojson >= "3.6.1"
3. ppx_inline_test >= "0.12.0"
4. ppx_deriving >= "5.1"
5. ocamlgraph >= "1.8.8"
6. stdio >= "v0.14.0"
7. ocaml-protoc-plugin >= "4.2.0"
8. yaml >= "3.1.0"
9. fpath >= "0.7.3"
10. re >= "1.12.0"
11. why3 >= "1.7.0" & < "1.8.0"
12. csv >= "2.4"
13. menhirLib >= "20210310"
14. yojson >= "1.7.0"
15. logs >= "0.7.0"
16. fmt >= "0.8.9"
17. cmdliner >= "1.1.1"
18. stdio >= "v0.14.0"
19. base >= "v0.16.0"
20. ocplib-endian >= "1.0"
21. zarith >= "1.7"
22. dune-site >= "2.9.0"
23. ocaml >= "4.14"
24. dune >= "3.12"

1. odoc with-doc
2. conf-python-3 >= "9.0.0" & with-test
3. conf-texlive >= "1" & with-test
4. conf-jq >= "1" & with-test

None

None