anchor.diff:  
     postPatch = ''
       # Use upstream z3 implementation
  -    substituteInPlace setup.py \
  -      --replace "z3-solver>=4.8.5.0" ""
  +    substituteInPlace setup.cfg \
  +      --replace "z3-solver >= 4.8.5.0" ""
     '';
   
     pythonImportsCheck = [
  
positive.code:     owner = "angr";
      repo = pname;
      rev = "v${version}";
      sha256 = "sha256-YrR8OkDoop6kHAuk4cM4STYYOjjaMLZCQuE07/5IXqs=";
    };
  
    propagatedBuildInputs = [
  
negative.code: 
  buildPythonPackage rec {
    pname = "claripy";
    version = "9.2.1";
    format = "pyproject";
  
    disabled = pythonOlder "3.6";
  
  