MirrorHub/nixpkgs
0
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-17 15:22:59 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

coqPackages_8_14.serapi: init at 8.14+rc1+0.14.0

Browse source
This commit is contained in:
Théo Zimmermann 2021-09-27 21:53:31 +02:00 committed by Vincent Laporte
parent 3437b543fd
commit e7735f2252
1 changed files with 14 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

22
pkgs/development/coq-modules/serapi/default.nix
View file

@ -15,10 +15,11 @@ let
}); });
release = { release = {
"8.13.0+0.13.0".sha256 = "sha256:0k69907xn4k61w4mkhwf8kh8drw9pijk9ynijsppihw98j8w38fy"; "8.14+rc1+0.14.0".sha256 = "1w7d7anvcfx8vz51mnrf1jkw6rlpzjkjlr06avf58wlhymww7pja";
"8.12.0+0.12.1".sha256 = "sha256:048x3sgcq4h845hi6hm4j4dsfca8zfj70dm42w68n63qcm6xf9hn"; "8.13.0+0.13.0".sha256 = "0k69907xn4k61w4mkhwf8kh8drw9pijk9ynijsppihw98j8w38fy";
"8.11.0+0.11.1".sha256 = "sha256:1phmh99yqv71vlwklqgfxiq2vj99zrzxmryj2j4qvg5vav3y3y6c"; "8.12.0+0.12.1".sha256 = "048x3sgcq4h845hi6hm4j4dsfca8zfj70dm42w68n63qcm6xf9hn";
"8.10.0+0.7.2".sha256 = "sha256:1ljzm63hpd0ksvkyxcbh8rdf7p90vg91gb4h0zz0941v1zh40k8c"; "8.11.0+0.11.1".sha256 = "1phmh99yqv71vlwklqgfxiq2vj99zrzxmryj2j4qvg5vav3y3y6c";
"8.10.0+0.7.2".sha256 = "1ljzm63hpd0ksvkyxcbh8rdf7p90vg91gb4h0zz0941v1zh40k8c";
}; };
in in
@ -27,6 +28,7 @@ in
inherit version release; inherit version release;
defaultVersion = with versions; switch coq.version [ defaultVersion = with versions; switch coq.version [
{ case = isEq "8.14"; out = "8.14+rc1+0.14.0"; }
{ case = isEq "8.13"; out = "8.13.0+0.13.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.12"; out = "8.12.0+0.12.1"; }
{ case = isEq "8.11"; out = "8.11.0+0.11.1"; } { case = isEq "8.11"; out = "8.11.0+0.11.1"; }
@ -63,10 +65,14 @@ in
}).overrideAttrs(o: }).overrideAttrs(o:
let inherit (o) version; in { let inherit (o) version; in {
src = fetchzip { src = fetchzip {
url = "https://github.com/ejgallego/coq-serapi/releases/download/${version}/coq-serapi-${ url =
if version == "8.11.0+0.11.1" then version if version == "8.14+rc1+0.14.0"
else builtins.replaceStrings [ "+" ] [ "." ] version then "https://github.com/ejgallego/coq-serapi/archive/refs/tags/8.14+rc1+0.14.0.tar.gz"
}.tbz"; 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
}.tbz";
sha256 = release."${version}".sha256; sha256 = release."${version}".sha256;
}; };
}) })