diff --git a/flake.lock b/flake.lock
index 6a55a80c1..ac9254846 100644
--- a/flake.lock
+++ b/flake.lock
@@ -8,17 +8,17 @@
         ]
       },
       "locked": {
-        "lastModified": 1710852819,
-        "narHash": "sha256-6i60KwqpoAHYvSD6RkLAQjn+6hVBxSb0bt6fvWCO3S8=",
-        "owner": "rtetley",
+        "lastModified": 1713965894,
+        "narHash": "sha256-HP21kA6KOPlmsJEZ70XpnRva52IgX1Rwh22WRkVv0VE=",
+        "owner": "coq",
         "repo": "coq",
-        "rev": "8564e805201e76853b01ecb56a8a3d62474dfe96",
+        "rev": "03d371db5bdac21cbb54ddf056bf9b86587c20ca",
         "type": "github"
       },
       "original": {
-        "owner": "rtetley",
+        "owner": "coq",
         "repo": "coq",
-        "rev": "8564e805201e76853b01ecb56a8a3d62474dfe96",
+        "rev": "03d371db5bdac21cbb54ddf056bf9b86587c20ca",
         "type": "github"
       }
     },
diff --git a/flake.nix b/flake.nix
index 7728e4389..7e4d854a3 100644
--- a/flake.nix
+++ b/flake.nix
@@ -4,7 +4,7 @@
   inputs = {
     flake-utils.url = "github:numtide/flake-utils";
 
-    coq-master = { url = "github:rtetley/coq/8564e805201e76853b01ecb56a8a3d62474dfe96"; }; # Should be kept in sync with PIN_COQ in CI workflow
+    coq-master = { url = "github:coq/coq/03d371db5bdac21cbb54ddf056bf9b86587c20ca"; }; # Should be kept in sync with PIN_COQ in CI workflow
     coq-master.inputs.nixpkgs.follows = "nixpkgs";
 
   };
@@ -237,7 +237,10 @@
         in
           mkShell {
             buildInputs =
-              self.packages.${system}.vscoq-language-server-coq-8-18.buildInputs;
+              self.packages.${system}.vscoq-language-server-coq-8-18.buildInputs
+              ++ (with ocamlPackages; [
+                ocaml-lsp
+              ]);
           };
 
         vscoq-language-server-coq-8-19 = with import nixpkgs {inherit system;}; let
@@ -245,7 +248,10 @@
         in
           mkShell {
             buildInputs =
-              self.packages.${system}.vscoq-language-server-coq-8-19.buildInputs;
+              self.packages.${system}.vscoq-language-server-coq-8-19.buildInputs
+              ++ (with ocamlPackages; [
+                ocaml-lsp
+              ]);
           };
 
         vscoq-language-server-coq-master = with import nixpkgs {inherit system;}; let