package caisar

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

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

None

None