Update the protocol 2022-04-07 (!396) · Merge requests · Formal Land / Coq Tezos of OCaml 💫 · GitLab

Guillaume Claret requested to merge guillaume-claret@update-proto-2022-04-07 into master Apr 07, 2022

Fix https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/issues/56

Edited Apr 15, 2022 by Guillaume Claret