diff options
| author | Pierre Roux <pierre.roux@onera.fr> | 2023-08-28 17:17:13 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2023-09-04 10:02:59 +0200 |
| commit | 7e87f6c593e5aef7f13fdf10082795854778af0d (patch) | |
| tree | bcdde2bfb723e82c398103f8f79df1ce9c678735 /pkgs/development/coq-modules | |
| parent | 84e8b009ee98ece64d6faa9fbde9c88584d4a08e (diff) | |
| download | nixlib-7e87f6c593e5aef7f13fdf10082795854778af0d.tar nixlib-7e87f6c593e5aef7f13fdf10082795854778af0d.tar.gz nixlib-7e87f6c593e5aef7f13fdf10082795854778af0d.tar.bz2 nixlib-7e87f6c593e5aef7f13fdf10082795854778af0d.tar.lz nixlib-7e87f6c593e5aef7f13fdf10082795854778af0d.tar.xz nixlib-7e87f6c593e5aef7f13fdf10082795854778af0d.tar.zst nixlib-7e87f6c593e5aef7f13fdf10082795854778af0d.zip | |
topology: 9.0.0 -> 10.2.0
Diffstat (limited to 'pkgs/development/coq-modules')
| -rw-r--r-- | pkgs/development/coq-modules/topology/default.nix | 2 | ||||
| -rw-r--r-- | pkgs/development/coq-modules/zorns-lemma/default.nix | 3 |
2 files changed, 5 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/topology/default.nix b/pkgs/development/coq-modules/topology/default.nix index de73fbadbf05..9ffe598156c0 100644 --- a/pkgs/development/coq-modules/topology/default.nix +++ b/pkgs/development/coq-modules/topology/default.nix @@ -5,6 +5,7 @@ mkCoqDerivation rec { releaseRev = v: "v${v}"; + release."10.2.0".sha256 = "sha256-xLi3uRQBKL9KiLd4FBnbTPxh8TjdN8IEW/1D7n2B+xY="; release."9.0.0".sha256 = "sha256:03lgy53xg9pmrdd3d8qb4087k5qjnk260655svp6d79x4p2lxr8c"; release."8.12.0".sha256 = "sha256-ypHmHwzwZ6MQPYwuS3QyZmVOEPUCSbO2lhVaA6TypgQ="; release."8.10.0".sha256 = "sha256-mCLF3JYIiO3AEW9yvlcLeF7zN4SjW3LG+Y5vYB0l55A="; @@ -15,6 +16,7 @@ mkCoqDerivation rec { inherit version; defaultVersion = with lib.versions; lib.switch coq.coq-version [ + { case = range "8.12" "8.18"; out = "10.2.0"; } { case = range "8.10" "8.16"; out = "9.0.0"; } { case = "8.9"; out = "8.9.0"; } { case = "8.8"; out = "8.8.0"; } diff --git a/pkgs/development/coq-modules/zorns-lemma/default.nix b/pkgs/development/coq-modules/zorns-lemma/default.nix index 8d57bc885c11..0df19759700c 100644 --- a/pkgs/development/coq-modules/zorns-lemma/default.nix +++ b/pkgs/development/coq-modules/zorns-lemma/default.nix @@ -2,9 +2,11 @@ (mkCoqDerivation { pname = "zorns-lemma"; + repo = "topology"; releaseRev = v: "v${v}"; + release."10.2.0".sha256 = "sha256-xLi3uRQBKL9KiLd4FBnbTPxh8TjdN8IEW/1D7n2B+xY="; release."9.0.0".sha256 = "sha256:03lgy53xg9pmrdd3d8qb4087k5qjnk260655svp6d79x4p2lxr8c"; release."8.11.0".sha256 = "sha256-2Hf7YwRcFmP/DqwFtF1p78MCNV50qUWfMVQtZbwKd0k="; release."8.10.0".sha256 = "sha256-qLPLK2ZLJQ4SmJX2ADqFiP4kgHuQFJTeNXkBbjiFS+4="; @@ -16,6 +18,7 @@ inherit version; defaultVersion = with lib.versions; lib.switch coq.coq-version [ + { case = range "8.12" "8.18"; out = "10.2.0"; } { case = range "8.10" "8.16"; out = "9.0.0"; } { case = "8.9"; out = "8.9.0"; } { case = "8.8"; out = "8.8.0"; } |