Unverified Commit c7da145d authored by Ben Siraphob's avatar Ben Siraphob Committed by GitHub
Browse files

python3Packages.coq-tools: remove siraben from maintainers (#472988)

parents 1e23fd6c 9e2a4188

pkgs/development/python-modules/coq-tools/default.nix

+1 −1
Original line number Diff line number Diff line
@@ -24,7 +24,7 @@ buildPythonPackage rec { 
    description = "Tools for working with Coq proof assistant";

    homepage = "https://pypi.org/project/coq-tools/";

    license = lib.licenses.mit;

    maintainers = with lib.maintainers; [ siraben ];

    maintainers = [ ];

    platforms = lib.platforms.all;

  };

}