nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-25 00:12:56 +00:00
Code Issues Packages Projects Releases Wiki Activity

compcert: add support for Coq 8.15.1

Browse Source
This commit is contained in:
Vincent Laporte 2022-03-22 18:02:19 +01:00 committed by Vincent Laporte
parent e2d2fb44df
commit 9e4d58db80
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -119,6 +119,11 @@ compcert.overrideAttrs (o:
url = "https://github.com/AbsInt/CompCert/commit/a882f78c069f7337dd9f4abff117d4df98ef38a6.patch";
sha256 = "sha256:16i87s608fj9ni7cvd5wrd7gicqniad7w78wi26pxdy0pacl7bjg";
})
# Support for Coq 8.15.1
(fetchpatch {
url = "https://github.com/AbsInt/CompCert/commit/10a976994d7fd30d143354c289ae735d210ccc09.patch";
sha256 = "sha256:0bg58gpkgxlmxzp6sg0dvybrfk0pxnm7qd6vxlrbsbm2w6wk03jv";
})
];
}
] [];