mirror of
https://github.com/ilyakooo0/nixpkgs.git
synced 2024-10-11 15:08:52 +03:00
coqPackages.vscoq-language-server: 2.1.4 → 2.1.7
Updates vscoq from 2.1.4 to 2.1.7. This does not introduce a new Coq version range.
This commit is contained in:
parent
8dea34e42f
commit
7026cdf28c
@ -3,7 +3,7 @@
|
|||||||
|
|
||||||
let ocamlPackages = coq.ocamlPackages;
|
let ocamlPackages = coq.ocamlPackages;
|
||||||
defaultVersion = with lib.versions; lib.switch coq.coq-version [
|
defaultVersion = with lib.versions; lib.switch coq.coq-version [
|
||||||
{ case = range "8.18" "8.20"; out = "2.1.4"; }
|
{ case = range "8.18" "8.20"; out = "2.1.7"; }
|
||||||
{ case = range "8.18" "8.19"; out = "2.1.2"; }
|
{ case = range "8.18" "8.19"; out = "2.1.2"; }
|
||||||
{ case = isEq "8.18"; out = "2.0.3+coq8.18"; }
|
{ case = isEq "8.18"; out = "2.0.3+coq8.18"; }
|
||||||
] null;
|
] null;
|
||||||
@ -15,6 +15,8 @@ let ocamlPackages = coq.ocamlPackages;
|
|||||||
release."2.1.2".sha256 = "sha256-GloY68fLmIv3oiEGNWwmgKv1CMAReBuXzMTUsKOs328=";
|
release."2.1.2".sha256 = "sha256-GloY68fLmIv3oiEGNWwmgKv1CMAReBuXzMTUsKOs328=";
|
||||||
release."2.1.4".rev = "v2.1.4";
|
release."2.1.4".rev = "v2.1.4";
|
||||||
release."2.1.4".sha256 = "sha256-Vwve1sCg5OsGmhDLlOyGCwP6A8g618IzD79vLPw/JtQ=";
|
release."2.1.4".sha256 = "sha256-Vwve1sCg5OsGmhDLlOyGCwP6A8g618IzD79vLPw/JtQ=";
|
||||||
|
release."2.1.7".rev = "v2.1.7";
|
||||||
|
release."2.1.7".sha256 = "sha256-HsLv2ziPIUK6Q5/xz8ZvaGWggUCK1AKv47U5M7SCcKU=";
|
||||||
inherit location; });
|
inherit location; });
|
||||||
fetched = fetch (if version != null then version else defaultVersion);
|
fetched = fetch (if version != null then version else defaultVersion);
|
||||||
in
|
in
|
||||||
|
Loading…
Reference in New Issue
Block a user