package fstar

1. ppx_deriving_yojson build
2. ppx_deriving build
3. process
4. ppxlib >= "0.27.0"
5. sedlex
6. pprint
7. mtime >= "2.1.0"
8. menhir build & >= "20230415"
9. menhirLib
10. memtrace >= "0.2.3"
11. dune >= "3.8.0"
12. yojson
13. stdint
14. zarith >= "1.14"
15. batteries
16. ocaml >= "4.14.0"

None

None

None