diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2023-06-05 08:44:59 +0200 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2023-06-12 08:59:51 +0200 |
commit | e59d94ef4c54884223eba6369304ec51af5a1387 (patch) | |
tree | d9395ba2830849cabad3f060e5a9b8df1798afb7 /pkgs/development/coq-modules | |
parent | 00144a917583836e965b69d7481bf4074c2ca200 (diff) |
coqPackages.Cheerios: 20200201 → 20230107
Diffstat (limited to 'pkgs/development/coq-modules')
-rw-r--r-- | pkgs/development/coq-modules/Cheerios/default.nix | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/pkgs/development/coq-modules/Cheerios/default.nix b/pkgs/development/coq-modules/Cheerios/default.nix index 5a7ec31f50c1d..1d4c458548ca2 100644 --- a/pkgs/development/coq-modules/Cheerios/default.nix +++ b/pkgs/development/coq-modules/Cheerios/default.nix @@ -4,7 +4,12 @@ mkCoqDerivation { pname = "cheerios"; owner = "uwplse"; inherit version; - defaultVersion = if lib.versions.range "8.6" "8.16" coq.version then "20200201" else null; + defaultVersion = with lib.versions; lib.switch coq.version [ + { case = range "8.14" "8.17"; out = "20230107"; } + { case = range "8.6" "8.16"; out = "20200201"; } + ] null; + release."20230107".rev = "bad8ad2476e14df6b5a819b7aaddc27a7c53fb69"; + release."20230107".sha256 = "sha256-G7a+6h4VDk7seKvFr6wy7vYqYmhUje78TYCj98wXrr8="; release."20200201".rev = "9c7f66e57b91f706d70afa8ed99d64ed98ab367d"; release."20200201".sha256 = "1h55s6lk47bk0lv5ralh81z55h799jbl9mhizmqwqzy57y8wqgs1"; |