package karamel

1. fstar = "2022.01.15"
2. ppx_deriving_yojson
3. ppx_deriving
4. wasm = "1.1.1"
5. visitors
6. fix
7. process
8. ulex
9. pprint
10. menhir >= "20161115"
11. fileutils
12. ocamlbuild build
13. yojson
14. stdint
15. zarith
16. batteries
17. ocamlfind build
18. ocaml >= "4.08.0"

None

1. kremlin >= "transition"

1. kremlin != "transition"