Unverified Commit 82fdfb56 authored by Jan van Brügge's avatar Jan van Brügge
Browse files

isabelle: remove jwiegley as maintainer 

No activity for over three years now
parent 102bfde3

pkgs/by-name/is/isabelle/package.nix

+0 −1
Original line number Diff line number Diff line
@@ -277,7 +277,6 @@ stdenv.mkDerivation (finalAttrs: { 
    ];

    license = lib.licenses.bsd3;

    maintainers = [

      lib.maintainers.jwiegley

      lib.maintainers.jvanbruegge

    ];

    platforms = lib.platforms.unix;