diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2022-06-01 08:12:58 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2022-06-03 10:45:45 +0200 |
| commit | 73812431fbcf1aa42a76543b14f939f0d5df543d (patch) | |
| tree | 94f8c885cf61992f36b0685af91fdb79b83d95c6 | |
| parent | 595e59d4b020696e94b1314b222365127d31d351 (diff) | |
| download | nixpkgs-73812431fbcf1aa42a76543b14f939f0d5df543d.tar nixpkgs-73812431fbcf1aa42a76543b14f939f0d5df543d.tar.gz nixpkgs-73812431fbcf1aa42a76543b14f939f0d5df543d.tar.bz2 nixpkgs-73812431fbcf1aa42a76543b14f939f0d5df543d.tar.lz nixpkgs-73812431fbcf1aa42a76543b14f939f0d5df543d.tar.xz nixpkgs-73812431fbcf1aa42a76543b14f939f0d5df543d.tar.zst nixpkgs-73812431fbcf1aa42a76543b14f939f0d5df543d.zip | |
compcert: add support for Coq 8.15.2
| -rw-r--r-- | pkgs/development/coq-modules/compcert/default.nix | 5 |
1 files changed, 5 insertions, 0 deletions
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"; + }) ]; } ] []; |