Merge pull request #622 from ejgallego/bump_coq

[vendor] Bump Coq
ejgallego · Nov 24, 2023 · 008c6c2 · 008c6c2
2 parents 88d1a21 + e1b6f79
commit 008c6c2
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/vendor/coq b/vendor/coq
diff --git a/vendor/coq-serapi b/vendor/coq-serapi