diff --git a/.gitmodules b/.gitmodules
index 5686103..94dcc2b 100644
--- 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
index 06b1396..e0faf7d 100644
--- 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
index 8812ff6..f11d4dd 160000
--- a/coq-lsp
+++ b/coq-lsp
@@ -1 +1 @@
-Subproject commit 8812ff6b00d5738517c5e40af94e0ad4988176ef
+Subproject commit f11d4dd022d5f042a101c203a774dc92471e2947
diff --git a/coq-waterproof b/coq-waterproof
index dd712eb..99ad6ff 160000
--- a/coq-waterproof
+++ b/coq-waterproof
@@ -1 +1 @@
-Subproject commit dd712eb0b7f5c205870dbd156736a684d40eeb9a
+Subproject commit 99ad6ff78fa700c84ba0cb1d1bda27d8e0f11e1a
diff --git a/rocq b/rocq
index be26673..ccf48d0 160000
--- a/rocq
+++ b/rocq
@@ -1 +1 @@
-Subproject commit be266736842a4ee7ef860bb7d7dc24769596a635
+Subproject commit ccf48d055ae4f972b570d6256fed903d7a205aa3
diff --git a/stdlib b/stdlib
index 71a6beb..24008aa 160000
--- a/stdlib
+++ b/stdlib
@@ -1 +1 @@
-Subproject commit 71a6beb0b14452fe8042d1c010b56be4b66403c0
+Subproject commit 24008aa00fdfc8d6f1e13a50892d618b784be746