unmaintain a bunch of packages

2015-01-13 22:33:49 +01:00
parent 007628fd49
commit 41b53577a8
80 changed files with 71 additions and 82 deletions
@@ -16,6 +16,6 @@ stdenv.mkDerivation {
    homepage = http://www.gnu.org/software/libxmi/;
    license = stdenv.lib.licenses.gpl2Plus;
    platforms = stdenv.lib.platforms.gnu;  # arbitrary choice
-    maintainers = [ stdenv.lib.maintainers.ludo ];
+    maintainers = [ ];
  };
 }