point vendored coq at rocq-cli branch

ejgallego · Dec 12, 2024 · fd432dd · fd432dd
1 parent c66de24
commit fd432dd
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -1,3 +1,3 @@
 [submodule "coq"]
 	path = vendor/coq
-	url = https://github.com/coq/coq.git
+	url = https://github.com/skyskimmer/coq.git
diff --git a/vendor/coq b/vendor/coq