Bump the recommended OCaml version to 4.14.2 (master branch)#251

DmxLarchey merged 3 commits into

uds-psl:masteruds-psl/coq-library-undecidability:masterfrom

meithecatte:push-nknnwootrlxumeithecatte/coq-library-undecidability:push-nknnwootrlxuCopy head branch name to clipboard