diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2023-06-05 08:45:01 +0200 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2023-06-12 08:59:51 +0200 |
commit | 30620750e8915bc6ebebfa1da65a746d3b03717b (patch) | |
tree | 2a8ea65e43d0a934ca79ae6825a7da71a9c9b971 /pkgs/development/coq-modules | |
parent | e59d94ef4c54884223eba6369304ec51af5a1387 (diff) |
coqPackages.Verdi: 20211026 → 20230503
Diffstat (limited to 'pkgs/development/coq-modules')
-rw-r--r-- | pkgs/development/coq-modules/Verdi/default.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/Verdi/default.nix b/pkgs/development/coq-modules/Verdi/default.nix index 6dec34a095d7b..dd6baea5dc17c 100644 --- a/pkgs/development/coq-modules/Verdi/default.nix +++ b/pkgs/development/coq-modules/Verdi/default.nix @@ -6,11 +6,14 @@ mkCoqDerivation { owner = "uwplse"; inherit version; defaultVersion = with lib.versions; lib.switch coq.coq-version [ + { case = range "8.9" "8.17"; out = "20230503"; } { case = range "8.7" "8.16"; out = "20211026"; } { case = range "8.7" "8.14"; out = "20210524"; } { case = range "8.7" "8.13"; out = "20200131"; } { case = "8.6"; out = "20181102"; } ] null; + release."20230503".rev = "76833a7b2188e99e358b8439ea6b4f38401c962a"; + release."20230503".sha256 = "sha256-g59adl/FLMlk9vZciz2I1ZX4PDCElNOgVPCwML8E4DU="; release."20211026".rev = "064cc4fb2347453bf695776ed820ffb5fbc1d804"; release."20211026".sha256 = "sha256:13xrcyzay5sjszf5lg4s44wl9nrcz22n6gi4h95pkpj0ni5clinx"; release."20210524".rev = "54597d8ac7ab7dd4dae683f651237644bf77701e"; |