diff options
| author | Thomas Gerbet <thomas@gerbet.me> | 2023-02-06 17:59:25 +0100 |
|---|---|---|
| committer | Thomas Gerbet <thomas@gerbet.me> | 2023-02-06 17:59:25 +0100 |
| commit | 73599b389c1f19de6474a0dffaa61824de27fadf (patch) | |
| tree | f12f626d5a6ebabe3a82c2b6f38eac34bdcb5cda /pkgs/applications/science/logic/coq | |
| parent | 6d0b3086f77e6287f005cb07d9e9a7e52f36ef39 (diff) | |
coq: remove undefined attribute `ocamlPropagatedNativeBuildInputs` in `passthru`
Diffstat (limited to 'pkgs/applications/science/logic/coq')
| -rw-r--r-- | pkgs/applications/science/logic/coq/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/coq/default.nix b/pkgs/applications/science/logic/coq/default.nix index 8a40216c3ecba..10d77885b5cb9 100644 --- a/pkgs/applications/science/logic/coq/default.nix +++ b/pkgs/applications/science/logic/coq/default.nix @@ -91,7 +91,7 @@ self = stdenv.mkDerivation { passthru = { inherit coq-version; inherit ocamlPackages ocamlNativeBuildInputs; - inherit ocamlPropagatedBuildInputs ocamlPropagatedNativeBuildInputs; + inherit ocamlPropagatedBuildInputs; # For compatibility inherit (ocamlPackages) ocaml camlp5 findlib num ; emacsBufferSetup = pkgs: '' |