Unverified Commit 0abeeb0f authored by Weijia Wang's avatar Weijia Wang Committed by GitHub
Browse files

Merge pull request #214965 from LeSuisse/coq-unknown-attr-passthru 

coq: remove undefined attribute `ocamlPropagatedNativeBuildInputs` in `passthru`
parents 5e32ae26 73599b38

pkgs/applications/science/logic/coq/default.nix

+1 −1
Original line number Diff line number Diff line
@@ -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: ''