diff options
author | Vincent Laporte <vbgl@users.noreply.github.com> | 2021-12-12 20:41:49 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-12-12 20:41:49 +0100 |
commit | 9ec8e461418c18766a6abdfb2345ef22a10d1e09 (patch) | |
tree | 3a1f5cb6407132b26a9d1f79b792ebc9991fc373 /pkgs/development/coq-modules | |
parent | 4cc23f2b1e1b9ae443d257129001caebca464d2f (diff) | |
download | nixpkgs-9ec8e461418c18766a6abdfb2345ef22a10d1e09.tar nixpkgs-9ec8e461418c18766a6abdfb2345ef22a10d1e09.tar.gz nixpkgs-9ec8e461418c18766a6abdfb2345ef22a10d1e09.tar.bz2 nixpkgs-9ec8e461418c18766a6abdfb2345ef22a10d1e09.tar.lz nixpkgs-9ec8e461418c18766a6abdfb2345ef22a10d1e09.tar.xz nixpkgs-9ec8e461418c18766a6abdfb2345ef22a10d1e09.tar.zst nixpkgs-9ec8e461418c18766a6abdfb2345ef22a10d1e09.zip |
coqPackages.serapi: init at 8.14.0+0.14.0 for Coq 8.14 & OCaml < 4.12 (#148775)
Diffstat (limited to 'pkgs/development/coq-modules')
-rw-r--r-- | pkgs/development/coq-modules/serapi/default.nix | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/pkgs/development/coq-modules/serapi/default.nix b/pkgs/development/coq-modules/serapi/default.nix index 301e5975c57..383151a1cb5 100644 --- a/pkgs/development/coq-modules/serapi/default.nix +++ b/pkgs/development/coq-modules/serapi/default.nix @@ -15,6 +15,7 @@ let }); release = { + "8.14.0+0.14.0".sha256 = "sha256:1kh80yb791yl771qbqkvwhbhydfii23a7lql0jgifvllm2k8hd8d"; "8.14+rc1+0.14.0".sha256 = "1w7d7anvcfx8vz51mnrf1jkw6rlpzjkjlr06avf58wlhymww7pja"; "8.13.0+0.13.0".sha256 = "0k69907xn4k61w4mkhwf8kh8drw9pijk9ynijsppihw98j8w38fy"; "8.12.0+0.12.1".sha256 = "048x3sgcq4h845hi6hm4j4dsfca8zfj70dm42w68n63qcm6xf9hn"; @@ -27,7 +28,11 @@ in pname = "serapi"; inherit version release; - defaultVersion = with versions; switch coq.version [ + defaultVersion = with versions; + if isGe "4.12" coq.ocamlPackages.ocaml.version then null + else + switch coq.version [ + { case = isEq "8.14"; out = "8.14.0+0.14.0"; } { case = isEq "8.13"; out = "8.13.0+0.13.0"; } { case = isEq "8.12"; out = "8.12.0+0.12.1"; } { case = isEq "8.11"; out = "8.11.0+0.11.1"; } |