Repinning to coq master after upstream merge

coq · Apr 25, 2024 · 38b9b20 · 38b9b20
1 parent 2c886bf
commit 38b9b20
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 9 deletions.
diff --git a/flake.lock b/flake.lock
diff --git 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,15 +237,21 @@
         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
           ocamlPackages = ocaml-ng.ocamlPackages_4_14;
         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