BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

compcert: add support for Coq 8.16.1

Browse source
This commit is contained in:
Vincent Laporte 2022-12-02 10:24:09 +01:00 committed by Vincent Laporte
parent 4590da9d9c
commit 3eb6874bda
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

@ -145,6 +145,11 @@ compcert.overrideAttrs (o:
url = "https://github.com/AbsInt/CompCert/commit/34be08a23d18d56f2dde24fd24b6dbe3bcb01ec3.patch";
sha256 = "sha256-a5YnftGVadVypEqrOYRRxI7YtGOEWyKnO4GqakFhvzI=";
})
# Support for Coq 8.16.1
(fetchpatch {
url = "https://github.com/AbsInt/CompCert/commit/35531503b3493cb9b0ec8a8585e84928c85b4af9.patch";
hash = "sha256-DvtYi/eiPUe8tA0EFTcCjJA0JjtVKceUsX4ZDM0pWkE=";
})
];
}
] [];