Remove myself (fuuzetsu) from maintainer lists
I haven't been doing any maintenance for a long time now and not only do I get notified, it also creates a fake impression that all these packages had at least one maintainer when in practice they had none.
This commit is contained in:
@@ -18,7 +18,7 @@ agda.mkDerivation (self: rec {
|
||||
description = "Sheaves in Agda";
|
||||
license = stdenv.lib.licenses.cc-by-40;
|
||||
platforms = stdenv.lib.platforms.unix;
|
||||
maintainers = with stdenv.lib.maintainers; [ fuuzetsu ];
|
||||
maintainers = with stdenv.lib.maintainers; [ ];
|
||||
broken = true; # replaced by constructive-sheaf-semantics
|
||||
};
|
||||
})
|
||||
|
||||
@@ -20,7 +20,7 @@ agda.mkDerivation (self: rec {
|
||||
description = "A monadic parser combinator library which guarantees termination of parsing";
|
||||
license = stdenv.lib.licenses.mit;
|
||||
platforms = stdenv.lib.platforms.unix;
|
||||
maintainers = with maintainers; [ fuuzetsu ];
|
||||
maintainers = with maintainers; [ ];
|
||||
broken = true;
|
||||
};
|
||||
})
|
||||
|
||||
@@ -17,7 +17,7 @@ agda.mkDerivation (self: rec {
|
||||
description = "Base library for HoTT in Agda";
|
||||
license = stdenv.lib.licenses.bsd3;
|
||||
platforms = stdenv.lib.platforms.unix;
|
||||
maintainers = with stdenv.lib.maintainers; [ fuuzetsu ];
|
||||
maintainers = with stdenv.lib.maintainers; [ ];
|
||||
broken = true; # largely replaced by HoTT-Agda
|
||||
};
|
||||
})
|
||||
|
||||
@@ -22,6 +22,6 @@ agda.mkDerivation (self: rec {
|
||||
description = "Agda standard library developed at Iowa";
|
||||
license = stdenv.lib.licenses.free;
|
||||
platforms = stdenv.lib.platforms.unix;
|
||||
maintainers = with stdenv.lib.maintainers; [ fuuzetsu ];
|
||||
maintainers = with stdenv.lib.maintainers; [ ];
|
||||
};
|
||||
})
|
||||
|
||||
@@ -18,6 +18,6 @@ agda.mkDerivation (self: rec {
|
||||
description = "Programming library for Agda";
|
||||
license = stdenv.lib.licenses.mit;
|
||||
platforms = stdenv.lib.platforms.unix;
|
||||
maintainers = with maintainers; [ fuuzetsu mudri ];
|
||||
maintainers = with maintainers; [ mudri ];
|
||||
};
|
||||
})
|
||||
|
||||
@@ -24,6 +24,6 @@ agda.mkDerivation (self: rec {
|
||||
license = stdenv.lib.licenses.mit;
|
||||
platforms = stdenv.lib.platforms.unix;
|
||||
broken = stdenv.isDarwin;
|
||||
maintainers = with maintainers; [ jwiegley fuuzetsu mudri ];
|
||||
maintainers = with maintainers; [ jwiegley mudri ];
|
||||
};
|
||||
})
|
||||
|
||||
@@ -18,7 +18,7 @@ agda.mkDerivation (self: rec {
|
||||
description = "Sequences of bits and common operations on them";
|
||||
license = stdenv.lib.licenses.bsd3;
|
||||
platforms = stdenv.lib.platforms.unix;
|
||||
maintainers = with stdenv.lib.maintainers; [ fuuzetsu ];
|
||||
maintainers = with stdenv.lib.maintainers; [ ];
|
||||
broken = true;
|
||||
};
|
||||
})
|
||||
|
||||
@@ -18,7 +18,7 @@ agda.mkDerivation (self: rec {
|
||||
description = "Categories parametrized by morphism equality, in Agda";
|
||||
license = stdenv.lib.licenses.bsd3;
|
||||
platforms = stdenv.lib.platforms.unix;
|
||||
maintainers = with stdenv.lib.maintainers; [ fuuzetsu ];
|
||||
maintainers = with stdenv.lib.maintainers; [ ];
|
||||
broken = true; # doesn't work due to new agdastdlib, see #9471
|
||||
};
|
||||
})
|
||||
|
||||
@@ -20,7 +20,7 @@ agda.mkDerivation (self: rec {
|
||||
description = "Correct-by-Construction Pretty-Printing";
|
||||
license = stdenv.lib.licenses.mit;
|
||||
platforms = stdenv.lib.platforms.unix;
|
||||
maintainers = with maintainers; [ fuuzetsu ];
|
||||
maintainers = with maintainers; [ ];
|
||||
broken = true; # 2018-04-11
|
||||
};
|
||||
})
|
||||
|
||||
Reference in New Issue
Block a user