diff options
author | John Ericson <Ericson2314@Yahoo.com> | 2015-05-18 04:50:37 +0000 |
---|---|---|
committer | John Ericson <Ericson2314@Yahoo.com> | 2015-05-20 16:01:40 +0000 |
commit | 91ab6c9e899605be047e0e96af1144b964e6b64e (patch) | |
tree | 5a15166d9a47c81c123110bdfd549c4d1f988917 /pkgs/development/libraries/agda/agda-iowa-stdlib | |
parent | 33c28bdc833effbf4cd31971e782eeb925f88877 (diff) | |
download | nixpkgs-91ab6c9e899605be047e0e96af1144b964e6b64e.tar nixpkgs-91ab6c9e899605be047e0e96af1144b964e6b64e.tar.gz nixpkgs-91ab6c9e899605be047e0e96af1144b964e6b64e.tar.bz2 nixpkgs-91ab6c9e899605be047e0e96af1144b964e6b64e.tar.lz nixpkgs-91ab6c9e899605be047e0e96af1144b964e6b64e.tar.xz nixpkgs-91ab6c9e899605be047e0e96af1144b964e6b64e.tar.zst nixpkgs-91ab6c9e899605be047e0e96af1144b964e6b64e.zip |
agda: Wrapper is no longer built by default
Instead it is provided to the user who can choose whether or not to include it in the final derivati. Example of including would be: ```nix callPackage ... (self: { inherit (self.extras) extraThing; }) ``` These extras are also available downstream without being built by default. This is achieved with `passthru`.
Diffstat (limited to 'pkgs/development/libraries/agda/agda-iowa-stdlib')
0 files changed, 0 insertions, 0 deletions