From 73812431fbcf1aa42a76543b14f939f0d5df543d Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Wed, 1 Jun 2022 08:12:58 +0200 Subject: compcert: add support for Coq 8.15.2 --- pkgs/development/coq-modules/compcert/default.nix | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/pkgs/development/coq-modules/compcert/default.nix b/pkgs/development/coq-modules/compcert/default.nix index 847ef8af23f..166dd037845 100644 --- a/pkgs/development/coq-modules/compcert/default.nix +++ b/pkgs/development/coq-modules/compcert/default.nix @@ -129,6 +129,11 @@ compcert.overrideAttrs (o: url = "https://github.com/AbsInt/CompCert/commit/10a976994d7fd30d143354c289ae735d210ccc09.patch"; sha256 = "sha256:0bg58gpkgxlmxzp6sg0dvybrfk0pxnm7qd6vxlrbsbm2w6wk03jv"; }) + # Support for Coq 8.15.2 + (fetchpatch { + url = "https://github.com/AbsInt/CompCert/commit/283a5be7296c4c0a94d863b427c77007ab875733.patch"; + sha256 = "sha256:1s7hvb5ii3p8kkcjlzwldvk8xc3iiibxi9935qjbrh25xi6qs66k"; + }) ]; } ] []; -- cgit 1.4.1