diff options
-rw-r--r-- | pkgs/applications/science/logic/coq/8.4.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/coq/8.4.nix b/pkgs/applications/science/logic/coq/8.4.nix index f162fe4a86ea..32007ba45ce3 100644 --- a/pkgs/applications/science/logic/coq/8.4.nix +++ b/pkgs/applications/science/logic/coq/8.4.nix @@ -63,6 +63,7 @@ stdenv.mkDerivation { ''; passthru = { + inherit findlib; emacsBufferSetup = pkgs: '' ; Propagate coq paths to children (inherit-local-permanent coq-prog-name "${self}/bin/coqtop") |