diff options
author | Pascal Wittmann <mail@pascal-wittmann.de> | 2014-09-13 13:51:39 +0200 |
---|---|---|
committer | Pascal Wittmann <mail@pascal-wittmann.de> | 2014-09-13 13:52:02 +0200 |
commit | 8d67b9a240ebb7836b4c1532a4661c3d77eec795 (patch) | |
tree | 1f679c87e02864a54a285af715daf6c67dd22b80 /pkgs/development/tools/analysis/spin | |
parent | f5c43d9f621fa71120be3d01ae55bd8cebe3717d (diff) |
transformed meta.maintainers of some packages into lists
Diffstat (limited to 'pkgs/development/tools/analysis/spin')
-rw-r--r-- | pkgs/development/tools/analysis/spin/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/tools/analysis/spin/default.nix b/pkgs/development/tools/analysis/spin/default.nix index 06c04ca41b5dd..a40215592f455 100644 --- a/pkgs/development/tools/analysis/spin/default.nix +++ b/pkgs/development/tools/analysis/spin/default.nix @@ -20,6 +20,6 @@ stdenv.mkDerivation rec { description = "Formal verification tool for distributed software systems"; homepage = http://spinroot.com/; license = "free"; - maintainers = stdenv.lib.maintainers.mornfall; + maintainers = [ stdenv.lib.maintainers.mornfall ]; }; } |