diff options
Diffstat (limited to 'nixpkgs/pkgs/top-level/agda-packages.nix')
-rw-r--r-- | nixpkgs/pkgs/top-level/agda-packages.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/top-level/agda-packages.nix b/nixpkgs/pkgs/top-level/agda-packages.nix index 601ab6d42b9d..7434134d28f2 100644 --- a/nixpkgs/pkgs/top-level/agda-packages.nix +++ b/nixpkgs/pkgs/top-level/agda-packages.nix @@ -11,6 +11,8 @@ let in { inherit mkDerivation; + lib = lib.extend (final: prev: import ../build-support/agda/lib.nix { lib = prev; }); + agda = withPackages [] // { inherit withPackages; }; standard-library = callPackage ../development/libraries/agda/standard-library { |