Adopt more packages.

2014-01-28 18:11:00 +01:00
parent 6f5be260b4
commit 4124bb9ff5
20 changed files with 41 additions and 9 deletions
@@ -26,5 +26,6 @@ stdenv.mkDerivation {
    description = "Formal verification tool for distributed software systems";
    homepage = http://spinroot.com/;
    license = "free";
+    maintainers = stdenv.lib.maintainers.mornfall;
  };
 }