diff options
Diffstat (limited to 'pkgs/development/coq-modules/paramcoq/default.nix')
| -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 8f2ef30d37c..e39fdc25eab 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"; |