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