From f7b7d8e7b59f5e13338be76256e8b524eb993959 Mon Sep 17 00:00:00 2001 From: Guillaume Maudoux Date: Tue, 7 Feb 2017 10:30:36 +0100 Subject: [PATCH] dafny: fix meta attribute --- pkgs/top-level/dotnet-packages.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/top-level/dotnet-packages.nix b/pkgs/top-level/dotnet-packages.nix index 30267a5ad968..71f2326b9379 100644 --- a/pkgs/top-level/dotnet-packages.nix +++ b/pkgs/top-level/dotnet-packages.nix @@ -288,11 +288,11 @@ let self = dotnetPackages // overrides; dotnetPackages = with self; { rm -f $out/lib/dotnet/${baseName}/dafny{,-server} ''; - meta = { + meta = with stdenv.lib; { description = "A programming language with built-in specification constructs"; homepage = "http://research.microsoft.com/dafny"; maintainers = with maintainers; [ layus ]; - license = licenses.MIT; + license = licenses.mit; platforms = with platforms; (linux ++ darwin); }; };