diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2021-09-24 12:05:08 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2021-10-01 07:50:55 +0200 |
| commit | 4b5042caf31af1e6eb750658a9bf547471228d75 (patch) | |
| tree | 6c4dc2edf69df8b56f3ade521578c819b428ac5c | |
| parent | decdbc35693d4edbb6b084c4e344ca3db182365a (diff) | |
coqPackages.paramcoq: 1.1.2 → 1.1.3
| -rw-r--r-- | pkgs/development/coq-modules/paramcoq/default.nix | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/pkgs/development/coq-modules/paramcoq/default.nix b/pkgs/development/coq-modules/paramcoq/default.nix index 8f2ef30d37cc0..e39fdc25eab65 100644 --- a/pkgs/development/coq-modules/paramcoq/default.nix +++ b/pkgs/development/coq-modules/paramcoq/default.nix @@ -3,9 +3,13 @@ with lib; mkCoqDerivation { pname = "paramcoq"; inherit version; - defaultVersion = if versions.range "8.7" "8.13" coq.coq-version - then "1.1.2+coq${coq.coq-version}" else null; - displayVersion = { paramcoq = "1.1.2"; }; + defaultVersion = with versions; switch coq.version [ + { case = range "8.13" "8.14"; out = "1.1.3+coq${coq.coq-version}"; } + { case = range "8.7" "8.13"; out = "1.1.2+coq${coq.coq-version}"; } + ] null; + displayVersion = { paramcoq = "..."; }; + release."1.1.3+coq8.14".sha256 = "00zqq9dc2p5v0ib1jgizl25xkwxrs9mrlylvy0zvb96dpridjc71"; + release."1.1.3+coq8.13".sha256 = "06ndly736k4pmdn4baqa7fblp6lx7a9pxm9gvz1vzd6ic51825wp"; release."1.1.2+coq8.13".sha256 = "02vnf8p04ynf3qk8myvjzsbga15395235mpdpj54pvxis3h5qq22"; release."1.1.2+coq8.12".sha256 = "0qd72r45if4h7c256qdfiimv75zyrs0w0xqij3m866jxaq591v4i"; release."1.1.2+coq8.11".sha256 = "09c6813988nvq4fpa45s33k70plnhxsblhm7cxxkg0i37mhvigsa"; |