Build: remove coq-of-ocaml
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