From fa3c3c1a330e52e85f62ff874bc7cc401e087363 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Fri, 3 Jun 2022 14:18:51 +0200 Subject: coqPackages.flocq: 3.4.3 → 4.1.0 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit compcert: 3.10 → 3.11 coqPackages.VST: 2.9 → 2.10 --- pkgs/development/coq-modules/compcert/default.nix | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'pkgs/development/coq-modules/compcert/default.nix') diff --git a/pkgs/development/coq-modules/compcert/default.nix b/pkgs/development/coq-modules/compcert/default.nix index 166dd037845..596c059f501 100644 --- a/pkgs/development/coq-modules/compcert/default.nix +++ b/pkgs/development/coq-modules/compcert/default.nix @@ -16,7 +16,8 @@ let compcert = mkCoqDerivation rec { releaseRev = v: "v${v}"; defaultVersion = with versions; switch coq.version [ - { case = range "8.13" "8.15"; out = "3.10"; } + { case = range "8.14" "8.15"; out = "3.11"; } + { case = isEq "8.13" ; out = "3.10"; } { case = isEq "8.12" ; out = "3.9"; } { case = range "8.8" "8.11"; out = "3.8"; } ] null; @@ -25,6 +26,7 @@ let compcert = mkCoqDerivation rec { "3.8".sha256 = "1gzlyxvw64ca12qql3wnq3bidcx9ygsklv9grjma3ib4hvg7vnr7"; "3.9".sha256 = "1srcz2dqrvmbvv5cl66r34zqkm0hsbryk7gd3i9xx4slahc9zvdb"; "3.10".sha256 = "sha256:19rmx8r8v46101ij5myfrz60arqjy7q3ra3fb8mxqqi3c8c4l4j6"; + "3.11".sha256 = "sha256-ZISs/ZAJVWtxp9+Sg5qV5Rss1gI9hK769GnBfawLa6A="; }; nativeBuildInputs = [ makeWrapper ]; -- cgit 1.4.1