From 89d973caca2f51541760457feafee6acf8cd884a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ga=C3=ABtan=20Gilbert?= Date: Wed, 4 Feb 2026 14:36:40 +0100 Subject: [PATCH 1/2] Fix "test" dummy makefile target (it was typo'd as "launch") --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 From 10bc43f9bb737c895f7b0f3bf9e309aa1503e441 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ga=C3=ABtan=20Gilbert?= Date: Wed, 4 Feb 2026 14:39:06 +0100 Subject: [PATCH 2/2] Update submodules I set rocq to 9.2+rc1 because I haven't updated coq-lsp for rocq master --- .gitmodules | 2 +- coq-lsp | 2 +- coq-waterproof | 2 +- rocq | 2 +- stdlib | 2 +- 5 files changed, 5 insertions(+), 5 deletions(-) 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/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