BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages 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 committed by Vincent Laporte
parent 1fbcb733eb
commit 3b1c4a732f
1 changed files with 9 additions and 0 deletions
Show stats 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";
})
];
}
] [];
}
)