anchor.diff:      homepage = https://github.com/ethereum/solidity;
       license = licenses.gpl3;
       platforms = with platforms; linux ++ darwin;
  -    maintainers = with maintainers; [ dbrock akru lionello ];
  +    maintainers = with maintainers; [ dbrock akru lionello sifmelcara ];
       inherit version;
     };
   }
  
positive.code: 
    cmakeFlags = [
      "-DBoost_USE_STATIC_LIBS=OFF"
      "-DBUILD_SHARED_LIBS=ON"
    ] ++ stdenv.lib.optionals (!z3Support) [
      "-DUSE_Z3=OFF"
    ];
  
    doCheck = stdenv.hostPlatform.isLinux && stdenv.hostPlatform == stdenv.buildPlatform;
    checkPhase = "LD_LIBRARY_PATH=./libsolc:./libsolidity:./libevmasm:./libdevcore:./libyul:./liblangutil:./test/tools/yulInterpreter:$LD_LIBRARY_PATH " +
                 "./test/soltest -p true -- --no-ipc --no-smt --testpath ../test";
  
    nativeBuildInputs = [ cmake ];
    buildInputs = [ boost ]
      ++ stdenv.lib.optionals z3Support [ z3 ];
  
    outputs = [ "out" "dev" ];
  
  
negative.code:     inherit rev sha256;
    };
  
    patches = stdenv.lib.optionals buildSharedLibs [ ./patches/shared-libs-install.patch ];
  
    postPatch = ''
      touch prerelease.txt
  