Unverified Commit e6b89d18 authored by Théo Zimmermann's avatar Théo Zimmermann
Browse files

rocqPackages.vsrocq-language-server: 2.3.3 -> 2.3.4 

Catch up with update of VS Code extension already done in #467514.
parent 566d32c3

pkgs/applications/editors/vscode/extensions/default.nix

+1 −0
Original line number Diff line number Diff line
@@ -3939,6 +3939,7 @@ let 
        mktplcRef = {

          publisher = "rocq-prover";

          name = "vsrocq";

          # When updating the version here, also update the language server vsrocq-language-server

          version = "2.3.4";

          hash = "sha256-2zYoCUtyhboQt68UJEmWOvrTrIOV2QmpaXU5mUhJfsA=";

        };

pkgs/development/rocq-modules/vsrocq-language-server/default.nix

+4 −2
Original line number Diff line number Diff line
@@ -16,8 +16,8 @@ let 
      case = case: out: { inherit case out; };

    in

    lib.switch rocq-core.rocq-version [

      (case (lib.versions.range "8.18" "9.1") "2.3.3")

      (case (lib.versions.range "8.18" "9.1") "2.3.0")

      # When updating the default version here, also update the VsRocq VS Code extension

      (case (lib.versions.range "8.18" "9.1") "2.3.4")

    ] null;

  location = {

    domain = "github.com";
@@ -29,6 +29,8 @@ let 
    release."2.3.0".sha256 = "sha256-BZLxcCmSGFf04eUmlJXnyxmg4hTwpFaPaIik4VD444M=";

    release."2.3.3".rev = "v2.3.3";

    release."2.3.3".sha256 = "sha256-wgn28wqWhZS4UOLUblkgXQISgLV+XdSIIEMx9uMT/ig=";

    release."2.3.4".rev = "v2.3.4";

    release."2.3.4".sha256 = "sha256-v1hQjE8U1o2VYOlUjH0seIsNG+NrMNZ8ixt4bQNyGvI=";

    inherit location;

  };

  fetched = fetch (if version != null then version else defaultVersion);