upgrading to 8.14.1 (!416) · Merge requests · Formal Land / Coq Tezos of OCaml 💫 · GitLab

Evan Marzion requested to merge upgrade-8.14 into master Apr 15, 2022

Fix #35 (closed)

Upgrade Coq version to 8.14.1

Edited Apr 20, 2022 by Guillaume Claret