mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-17 19:21:04 +00:00
Code Issues Wiki Activity

coqPackages.compcert: use OCaml 4.14

Browse source
This commit is contained in:
Vincent Laporte 2024-01-10 06:35:32 +01:00 committed by Vincent Laporte
parent 8e5062ee6a
commit 7ff0562792
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
pkgs/top-level/coq-packages.nix
View file

@ -33,6 +33,7 @@ let
); );
compcert = callPackage ../development/coq-modules/compcert { compcert = callPackage ../development/coq-modules/compcert {
inherit fetchpatch makeWrapper coq2html lib stdenv; inherit fetchpatch makeWrapper coq2html lib stdenv;
ocamlPackages = ocamlPackages_4_14;
}; };
coq-bits = callPackage ../development/coq-modules/coq-bits {}; coq-bits = callPackage ../development/coq-modules/coq-bits {};
coq-elpi = callPackage ../development/coq-modules/coq-elpi {}; coq-elpi = callPackage ../development/coq-modules/coq-elpi {};