diff options
Diffstat (limited to 'pkgs/development/libraries/agda/agda-prelude/default.nix')
| -rw-r--r-- | pkgs/development/libraries/agda/agda-prelude/default.nix | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pkgs/development/libraries/agda/agda-prelude/default.nix b/pkgs/development/libraries/agda/agda-prelude/default.nix index f13cc698236..79bb783cc9f 100644 --- a/pkgs/development/libraries/agda/agda-prelude/default.nix +++ b/pkgs/development/libraries/agda/agda-prelude/default.nix @@ -1,4 +1,4 @@ -{ stdenv, mkDerivation, fetchFromGitHub }: +{ lib, stdenv, mkDerivation, fetchFromGitHub }: mkDerivation rec { version = "compat-2.6.1"; @@ -18,11 +18,11 @@ mkDerivation rec { cd .. ''; - meta = with stdenv.lib; { + meta = with lib; { homepage = "https://github.com/UlfNorell/agda-prelude"; description = "Programming library for Agda"; - license = stdenv.lib.licenses.mit; - platforms = stdenv.lib.platforms.unix; + license = lib.licenses.mit; + platforms = lib.platforms.unix; maintainers = with maintainers; [ mudri alexarice turion ]; }; } |