Skip to content

Build: remove coq-of-ocaml

Valentin Chaboche requested to merge nomadic-labs/tezos:vch9@remove-coq into master

Context

As discussed on slack, we do not really use coq-of-ocaml. People working with coq manually translate the protocol code to coq. Therefore, I propose to remove the dependency at all.

We also remove coq-of-ocaml from our opam-repo as it is not required if we merge this: opam-repository!252 (merged)

Edited by Valentin Chaboche

Merge request reports