anchor.diff:      owner = "angr";
       repo = pname;
       rev = "v${version}";
  -    hash = "sha256-xcj6Skzzmw5g+0KsBMLNOhRyXQA7nbgnc9YyfJLteCM=";
  +    hash = "sha256-OGdnrRFfx2LMMsw6giPC+4izWX603cYbpKHuslj4Gng=";
     };
   
     propagatedBuildInputs = [
  
positive.code: buildPythonPackage rec {
    pname = "cle";
    inherit version;
    format = "setuptools";
  
    disabled = pythonOlder "3.6";
  
  
negative.code: 
  let
    # The binaries are following the argr projects release cycle
    version = "9.2.1";
  
    # Binary files from https://github.com/angr/binaries (only used for testing and only here)
    binaries = fetchFromGitHub {
  