anchor.diff:      progressbar2
       protobuf
       psutil
  -    sqlalchemy
       pycparser
       pyvex
  -    sqlalchemy
       rpyc
       sortedcontainers
  +    sqlalchemy
  +    sympy
       unicorn'
  +  ];
  +
  +  setupPyBuildFlags = lib.optionals stdenv.isLinux [
  +    "--plat-name"
  +    "linux"
     ];
   
     # Tests have additional requirements, e.g., pypcode and angr binaries
     # cle is executing the tests with the angr binaries
     doCheck = false;
   
  -  # See http://angr.io/api-doc/
     pythonImportsCheck = [
       "angr"
       "claripy"
  
positive.code: 
  buildPythonPackage rec {
    pname = "angr";
    version = "9.1.10913";
    disabled = pythonOlder "3.6";
  
    src = fetchFromGitHub {
      owner = pname;
      repo = pname;
      rev = "v${version}";
      sha256 = "sha256-AZlqSalTOQh3QR959ZuanFuTZVKi9valKJ3snsquC/A=";
    };
  
    setupPyBuildFlags = lib.optionals stdenv.isLinux [ "--plat-name" "linux" ];
  
    propagatedBuildInputs = [
      ailment
  
negative.code: , pycparser
  , pythonOlder
  , pyvex
  , sympy
  , sqlalchemy
  , rpyc
  , sortedcontainers
  