Skip to content

[coq] Allow to disable Coq language deprecation warning.#9439

Merged
ejgallego merged 1 commit intoocaml:mainfrom ejgallego:warning_coq_deprecatedDec 15, 2023
+303-5

Commits

Commits on Dec 15, 2023