Commit 73599b38 authored by Thomas Gerbet's avatar Thomas Gerbet
Browse files

coq: remove undefined attribute `ocamlPropagatedNativeBuildInputs` in `passthru`

parent 6d0b3086

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: ''