diff options
| author | Théo Zimmermann <theo.zimmermann@inria.fr> | 2022-01-26 16:28:52 +0100 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2022-01-27 08:11:31 +0100 |
| commit | eb1b39787fdabb58e111510f506680d72bd11342 (patch) | |
| tree | f56161260c5467a196718fb6e3f91d072c9efd28 /pkgs/development/coq-modules | |
| parent | d01b2cc71bf6e220e164bf57d757624b01429ba0 (diff) | |
| download | nixpkgs-eb1b39787fdabb58e111510f506680d72bd11342.tar nixpkgs-eb1b39787fdabb58e111510f506680d72bd11342.tar.gz nixpkgs-eb1b39787fdabb58e111510f506680d72bd11342.tar.bz2 nixpkgs-eb1b39787fdabb58e111510f506680d72bd11342.tar.lz nixpkgs-eb1b39787fdabb58e111510f506680d72bd11342.tar.xz nixpkgs-eb1b39787fdabb58e111510f506680d72bd11342.tar.zst nixpkgs-eb1b39787fdabb58e111510f506680d72bd11342.zip | |
coqPackages_8_15.serapi: init at 8.15.0+0.15.0
And also clean up rc version for Coq 8.15.
Diffstat (limited to 'pkgs/development/coq-modules')
| -rw-r--r-- | pkgs/development/coq-modules/serapi/default.nix | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/pkgs/development/coq-modules/serapi/default.nix b/pkgs/development/coq-modules/serapi/default.nix index 5820f98fa0f..b3bff95b5ea 100644 --- a/pkgs/development/coq-modules/serapi/default.nix +++ b/pkgs/development/coq-modules/serapi/default.nix @@ -2,8 +2,8 @@ let release = { - "8.14.0+0.14.0".sha256 = "sha256:1kh80yb791yl771qbqkvwhbhydfii23a7lql0jgifvllm2k8hd8d"; - "8.14+rc1+0.14.0".sha256 = "1w7d7anvcfx8vz51mnrf1jkw6rlpzjkjlr06avf58wlhymww7pja"; + "8.15.0+0.15.0".sha256 = "1vh99ya2dq6a8xl2jrilgs0rpj4j227qx8zvzd2v5xylx0p4bbrp"; + "8.14.0+0.14.0".sha256 = "1kh80yb791yl771qbqkvwhbhydfii23a7lql0jgifvllm2k8hd8d"; "8.13.0+0.13.0".sha256 = "0k69907xn4k61w4mkhwf8kh8drw9pijk9ynijsppihw98j8w38fy"; "8.12.0+0.12.1".sha256 = "048x3sgcq4h845hi6hm4j4dsfca8zfj70dm42w68n63qcm6xf9hn"; "8.11.0+0.11.1".sha256 = "1phmh99yqv71vlwklqgfxiq2vj99zrzxmryj2j4qvg5vav3y3y6c"; @@ -17,6 +17,7 @@ in defaultVersion = with versions; switch coq.version [ + { case = isEq "8.15"; out = "8.15.0+0.15.0"; } { 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"; } @@ -55,9 +56,6 @@ in let inherit (o) version; in { src = fetchzip { url = - if version == "8.14+rc1+0.14.0" - then "https://github.com/ejgallego/coq-serapi/archive/refs/tags/8.14+rc1+0.14.0.tar.gz" - else "https://github.com/ejgallego/coq-serapi/releases/download/${version}/coq-serapi-${ if version == "8.11.0+0.11.1" then version else builtins.replaceStrings [ "+" ] [ "." ] version |