anchor.diff:  , pycparser
   , pythonOlder
   , pyvex
  +, sympy
   , sqlalchemy
   , rpyc
   , sortedcontainers
  
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:     progressbar2
      protobuf
      psutil
      pycparser
      pyvex
      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;
  
    pythonImportsCheck = [
      "angr"
      "claripy"
  