impermeable · SkySkimmer · Feb 4, 2026 · Feb 4, 2026 · Feb 4, 2026
diff --git a/.gitmodules b/.gitmodules
@@ -6,7 +6,7 @@
 	url = git@github.com:rocq-prover/stdlib.git
 [submodule "coq-lsp"]
 	path = coq-lsp
-	url = git@github.com:ejgallego/coq-lsp.git
+	url = git@github.com:rocq-community/rocq-lsp.git
 [submodule "coq-waterproof"]
 	path = coq-waterproof
 	url = git@github.com:impermeable/coq-waterproof.git
diff --git a/Makefile b/Makefile
@@ -37,7 +37,7 @@ clean:
 
 # Test
 .PHONY: test
-launch: build
+test: build
 	echo "Test not implemented"
 
 # Launch where the _CoqProject file is

diff --git a/coq-lsp b/coq-lsp
diff --git a/coq-waterproof b/coq-waterproof
diff --git a/rocq b/rocq
diff --git a/stdlib b/stdlib