diff options
author | Pierre Roux <pierre.roux@onera.fr> | 2023-12-19 14:14:03 +0100 |
---|---|---|
committer | Pierre Roux <pierre.roux@onera.fr> | 2023-12-19 14:41:21 +0100 |
commit | 77f1a05307145466c3c5f32024febb3a1f3ab3d9 (patch) | |
tree | 3d28167dac3ffc96a0077d1c66b7e7c6e6e32e84 /pkgs/development/coq-modules | |
parent | cc3dbddd4a1f48960cc26b1a0bf809775e907fd0 (diff) |
coqPackages.paramcoq: 8.18 -> 8.19
Diffstat (limited to 'pkgs/development/coq-modules')
-rw-r--r-- | pkgs/development/coq-modules/paramcoq/default.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pkgs/development/coq-modules/paramcoq/default.nix b/pkgs/development/coq-modules/paramcoq/default.nix index cdb500bc69c3b..a17e19acae871 100644 --- a/pkgs/development/coq-modules/paramcoq/default.nix +++ b/pkgs/development/coq-modules/paramcoq/default.nix @@ -4,10 +4,11 @@ mkCoqDerivation { pname = "paramcoq"; inherit version; defaultVersion = with lib.versions; lib.switch coq.version [ - { case = range "8.10" "8.18"; out = "1.1.3+coq${coq.coq-version}"; } + { case = range "8.10" "8.19"; 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.19".sha256 = "sha256-5NVsdLXaoz6qrr5ra5YfoHeuK4pEf8JX/X9+SZA0U+U="; release."1.1.3+coq8.18".sha256 = "sha256-hNBaj9hB+OzwXsOX+TOXtDLjA5oP4EmEgseLwxFxW+I="; release."1.1.3+coq8.17".sha256 = "sha256-m8QGGuwj1lHzDprf4LHgAuzwfoblxtDIHunHBdpmiuM="; release."1.1.3+coq8.16".sha256 = "sha256-K7/8hXH6DwiW7Gw41sgQF8UDAO3c32xBGWQQapzG8Mo="; |