nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-09-30 11:50:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

compcert: fix for Coq 8.14.1

Browse Source
This commit is contained in:
Vincent Laporte
2021-12-01 14:21:39 +01:00
parent 48406e3fca
commit 482c273534
1 changed files with 9 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
pkgs/development/coq-modules/compcert/default.nix
View File

@@ -106,6 +106,15 @@ compcert.overrideAttrs (o:
})
];
}
{ cases = [ (isEq "8.14") "3.10" ];
out = [
# Support for Coq 8.14.1
(fetchpatch {
url = "https://github.com/AbsInt/CompCert/commit/a79f0f99831aa0b0742bf7cce459cc9353bd7cd0.patch";
sha256 = "sha256:0g20x8gfzvplpad9y9vr1p33k6qv6rsp691x6687v9ffvz7zsz94";
})
];
}
] [];
}
)