unmaintain several packages

2013-08-16 23:45:01 +02:00
parent 68ce9e91e1
commit 2e937c437a
136 changed files with 144 additions and 144 deletions
@@ -56,7 +56,7 @@ in stdenv.mkDerivation {
    homepage = http://coccinelle.lip6.fr/;
    license = "GPLv2";

-    maintainers = [ stdenv.lib.maintainers.ludo ];
+    maintainers = [ ];
    platforms = stdenv.lib.platforms.gnu;  # arbitrary choice
  };
 }