In an effort to support the latest version of the protocol of Tezos we upgraded coq-of-ocaml to add compatibility with OCaml 4.14. The result is available in the branch ocaml-4.14. We describe here how we made this upgrade.
🐫 Upgrade coq-of-ocaml to OCaml 4.14
· 3 min read