anchor.diff:    nativeBuildInputs = [ makeWrapper ];
     propagatedBuildInputs = [ crytic-compile prettytable setuptools ];
   
  -  postFixup = ''
  +  postFixup = lib.optionalString withSolc ''
       wrapProgram $out/bin/slither \
         --prefix PATH : "${lib.makeBinPath [ solc ]}"
     '';
  
positive.code: { lib, buildPythonPackage, fetchPypi, makeWrapper, pythonOlder
  , crytic-compile, prettytable, setuptools, solc
  }:
  
  buildPythonPackage rec {
  
negative.code:       contract details, and provides an API to easily write custom analyses.
      '';
      homepage = "https://github.com/trailofbits/slither";
      license = licenses.agpl3Plus;
      maintainers = with maintainers; [ asymmetric arturcygan ];
    };
  }
  