Point riscv-coq submodule back to mit-plv

mit-plv · Jan 23, 2025 · 176b42c · 176b42c
1 parent cfd50d5
commit 176b42c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.gitmodules b/.gitmodules
@@ -1,6 +1,6 @@
 [submodule "deps/riscv-coq"]
 	path = deps/riscv-coq
-	url = https://github.com/OwenConoly/riscv-coq.git
+	url = https://github.com/mit-plv/riscv-coq.git
 [submodule "deps/coqutil"]
 	path = deps/coqutil
 	url = https://github.com/mit-plv/coqutil.git