diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-04-14 17:37:39 +0000 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-04-15 11:24:17 +0000 |
commit | 5f97adccdc23117c87825cf410b3366e9139a74b (patch) | |
tree | 39c05218065064b833a13055d3058aeaab7cd84a /pkgs/applications | |
parent | a071e9f841d7991a5f4f256909d85ebe329a8dff (diff) | |
download | nixlib-5f97adccdc23117c87825cf410b3366e9139a74b.tar nixlib-5f97adccdc23117c87825cf410b3366e9139a74b.tar.gz nixlib-5f97adccdc23117c87825cf410b3366e9139a74b.tar.bz2 nixlib-5f97adccdc23117c87825cf410b3366e9139a74b.tar.lz nixlib-5f97adccdc23117c87825cf410b3366e9139a74b.tar.xz nixlib-5f97adccdc23117c87825cf410b3366e9139a74b.tar.zst nixlib-5f97adccdc23117c87825cf410b3366e9139a74b.zip |
coq: move some attributes inside `passthru`
Diffstat (limited to 'pkgs/applications')
-rw-r--r-- | pkgs/applications/science/logic/coq/default.nix | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/pkgs/applications/science/logic/coq/default.nix b/pkgs/applications/science/logic/coq/default.nix index 2c785472114a..39bed68cdf1f 100644 --- a/pkgs/applications/science/logic/coq/default.nix +++ b/pkgs/applications/science/logic/coq/default.nix @@ -34,11 +34,9 @@ let self = stdenv.mkDerivation { name = "coq-${version}"; - inherit coq-version; - inherit camlp5; - inherit (ocamlPackages) ocaml; passthru = { - inherit (ocamlPackages) findlib num; + inherit coq-version camlp5; + inherit (ocamlPackages) ocaml findlib num; emacsBufferSetup = pkgs: '' ; Propagate coq paths to children (inherit-local-permanent coq-prog-name "${self}/bin/coqtop") |