summary refs log tree commit diff
path: root/pkgs/development/idris-modules/build-builtin-package.nix
diff options
context:
space:
mode:
authorShea Levy <shea@shealevy.com>2015-11-27 09:55:22 -0500
committerShea Levy <shea@shealevy.com>2015-11-27 09:55:22 -0500
commita5ca796f557f74e23328c8892447b0606d333f8d (patch)
treee9a673bb78c667ffe027cf6bad972bb82f656bcd /pkgs/development/idris-modules/build-builtin-package.nix
parentefbee054fd2dca2b14c729cf73aca7246c56d9f2 (diff)
downloadnixpkgs-a5ca796f557f74e23328c8892447b0606d333f8d.tar
nixpkgs-a5ca796f557f74e23328c8892447b0606d333f8d.tar.gz
nixpkgs-a5ca796f557f74e23328c8892447b0606d333f8d.tar.bz2
nixpkgs-a5ca796f557f74e23328c8892447b0606d333f8d.tar.lz
nixpkgs-a5ca796f557f74e23328c8892447b0606d333f8d.tar.xz
nixpkgs-a5ca796f557f74e23328c8892447b0606d333f8d.tar.zst
nixpkgs-a5ca796f557f74e23328c8892447b0606d333f8d.zip
idris-modules: Read the filesystem to populate package list
Diffstat (limited to 'pkgs/development/idris-modules/build-builtin-package.nix')
-rw-r--r--pkgs/development/idris-modules/build-builtin-package.nix2
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 9a6b99d1523..7445e95e27c 100644
--- a/pkgs/development/idris-modules/build-builtin-package.nix
+++ b/pkgs/development/idris-modules/build-builtin-package.nix
@@ -1,4 +1,4 @@
-{ idris, buildIdrisPackage }: name: deps: buildIdrisPackage (args: {
+{ idris, build-idris-package }: name: deps: build-idris-package (args: {
   inherit name;
 
   propagatedBuildInputs = deps;