diff options
| author | volth <volth@volth.com> | 2018-07-21 00:44:44 +0000 |
|---|---|---|
| committer | volth <volth@volth.com> | 2018-07-21 02:48:04 +0000 |
| commit | 52f53c69ce6dbc5538f7e4cd22f9d93baf1f64a2 (patch) | |
| tree | 2519a24bfee83cad4268e77ac180c84cb4036ed7 /pkgs/development/idris-modules | |
| parent | 1a6af9f88ec2405334a9fd6a977ccbcb53472305 (diff) | |
| download | nixpkgs-52f53c69ce6dbc5538f7e4cd22f9d93baf1f64a2.tar nixpkgs-52f53c69ce6dbc5538f7e4cd22f9d93baf1f64a2.tar.gz nixpkgs-52f53c69ce6dbc5538f7e4cd22f9d93baf1f64a2.tar.bz2 nixpkgs-52f53c69ce6dbc5538f7e4cd22f9d93baf1f64a2.tar.lz nixpkgs-52f53c69ce6dbc5538f7e4cd22f9d93baf1f64a2.tar.xz nixpkgs-52f53c69ce6dbc5538f7e4cd22f9d93baf1f64a2.tar.zst nixpkgs-52f53c69ce6dbc5538f7e4cd22f9d93baf1f64a2.zip | |
pkgs/*: remove unreferenced function arguments
Diffstat (limited to 'pkgs/development/idris-modules')
| -rw-r--r-- | pkgs/development/idris-modules/build-builtin-package.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/idris-modules/build-builtin-package.nix b/pkgs/development/idris-modules/build-builtin-package.nix index 1cd687058b3..ff19e52135c 100644 --- a/pkgs/development/idris-modules/build-builtin-package.nix +++ b/pkgs/development/idris-modules/build-builtin-package.nix @@ -1,7 +1,7 @@ # Build one of the packages that comes with idris # name: The name of the package # deps: The dependencies of the package -{ idris, build-idris-package, lib }: name: deps: +{ idris, build-idris-package }: name: deps: let inherit (builtins.parseDrvName idris.name) version; in |