transformed meta.maintainers of some packages into lists

This commit is contained in:
Pascal Wittmann
2014-09-13 13:51:39 +02:00
parent f5c43d9f62
commit 8d67b9a240
51 changed files with 62 additions and 62 deletions

View File

@@ -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 ];
};
}