anchor.diff:      description = "A python wrapper for the Discord API";
       homepage    = "https://discordpy.rtfd.org/";
       license     = lib.licenses.mit;
  +
  +    # discord.py requires websockets<4.0
  +    # See https://github.com/Rapptz/discord.py/issues/973
  +    broken = true;
     };
   }
  
positive.code: , pynacl
  }:
  
  let
    pname = "discord.py";
    version = "0.16.12";
  in buildPythonPackage rec {
    name = "${pname}-${version}";
  
    src = fetchurl {
      url = "mirror://pypi/${builtins.substring 0 1 pname}/${pname}/${name}.tar.gz";
      sha256 = "17fb8814100fbaf7a79468baa432184db6cef3bbea4ad194fe297c7407d50108";
    };
  
  
negative.code: { lib
  , fetchPypi
  , buildPythonPackage
  , pythonOlder
  , withVoice ? true, libopus
  