dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

dafny: fix meta attribute

Browse Source
This commit is contained in:
Guillaume Maudoux 2017-02-07 10:30:36 +01:00 committed by vbgl
parent 25b61cc897
commit f7b7d8e7b5
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/top-level/dotnet-packages.nix
View File

@ -288,11 +288,11 @@ let self = dotnetPackages // overrides; dotnetPackages = with self; {
rm -f $out/lib/dotnet/${baseName}/dafny{,-server} rm -f $out/lib/dotnet/${baseName}/dafny{,-server}
''; '';
meta = { meta = with stdenv.lib; {
description = "A programming language with built-in specification constructs"; description = "A programming language with built-in specification constructs";
homepage = "http://research.microsoft.com/dafny"; homepage = "http://research.microsoft.com/dafny";
maintainers = with maintainers; [ layus ]; maintainers = with maintainers; [ layus ];
license = licenses.MIT; license = licenses.mit;
platforms = with platforms; (linux ++ darwin); platforms = with platforms; (linux ++ darwin);
}; };
}; };