From 30620750e8915bc6ebebfa1da65a746d3b03717b Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Mon, 5 Jun 2023 08:45:01 +0200 Subject: [PATCH] =?UTF-8?q?coqPackages.Verdi:=2020211026=20=E2=86=92=20202?= =?UTF-8?q?30503?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- pkgs/development/coq-modules/Verdi/default.nix | 3 +++ 1 file changed, 3 insertions(+) diff --git a/pkgs/development/coq-modules/Verdi/default.nix b/pkgs/development/coq-modules/Verdi/default.nix index 6dec34a095d7..dd6baea5dc17 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";