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: assert z3Support -> stdenv.lib.versionAtLeast z3.version "4.6.0";
  
  let
    version = "0.5.7";
    rev = "6da8b019e4a155d1f70abe7a3acc0f9765480a9e";
    sha256 = "0ii868r0ra6brjnn453kxqvw76p4bwjbvdyqfcn6v1bl2h4s60ir";
    jsoncppURL = https://github.com/open-source-parsers/jsoncpp/archive/1.8.4.tar.gz;
    jsoncpp = fetchzip {
      url = jsoncppURL;
      sha256 = "1z0gj7a6jypkijmpknis04qybs1hkd04d1arr3gy89lnxmp6qzlm";
    };
  in
  stdenv.mkDerivation {
    name = "solc-${version}";
  
negative.code:     inherit rev sha256;
    };
  
    patches = stdenv.lib.optionals buildSharedLibs [ ./patches/shared-libs-install.patch ];
  
    postPatch = ''
      touch prerelease.txt
  