0
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-07-13 21:50:33 +03:00

pkgs: fix eval

This commit is contained in:
éclairevoyant 2024-09-04 10:47:34 -04:00
parent 08eabd49ce
commit c8204eda76
No known key found for this signature in database
GPG key ID: E3813AEAA02DB54B

View file

@ -14793,7 +14793,7 @@ with pkgs;
ocamlPackages = ocaml-ng.ocamlPackages_4_14;
};
inherit (coqPackages) compcert;
inherit (coqPackages_8_19) compcert;
computecpp-unwrapped = callPackage ../development/compilers/computecpp { };
computecpp = wrapCCWith rec {