Commit 8b7d5e1d authored by Cyril Cohen's avatar Cyril Cohen Committed by Vincent Laporte
Browse files

coqPackages.vscoq-language-server: 2.1.2 -> 2.1.4

parent f4dd708f

pkgs/development/coq-modules/vscoq-language-server/default.nix

+3 −0
Original line number Diff line number Diff line
@@ -3,6 +3,7 @@ 


let ocamlPackages = coq.ocamlPackages;

    defaultVersion = with lib.versions; lib.switch coq.coq-version [

      { case = range "8.18" "8.20"; out = "2.1.4"; }

      { case = range "8.18" "8.19"; out = "2.1.2"; }

      { case = isEq "8.18"; out = "2.0.3+coq8.18"; }

    ] null;
@@ -12,6 +13,8 @@ let ocamlPackages = coq.ocamlPackages; 
      release."2.0.3+coq8.18".rev = "v2.0.3+coq8.18";

      release."2.1.2".rev = "v2.1.2";

      release."2.1.2".sha256 = "sha256-GloY68fLmIv3oiEGNWwmgKv1CMAReBuXzMTUsKOs328=";

      release."2.1.4".rev = "v2.1.4";

      release."2.1.4".sha256 = "sha256-Vwve1sCg5OsGmhDLlOyGCwP6A8g618IzD79vLPw/JtQ=";

      inherit location; });

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

in