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:     inherit rev sha256;
    };
  
    patches = [
      ./patches/shared-libs-install.patch
    ];
  
    postPatch = ''
      touch prerelease.txt
  
negative.code: { stdenv, fetchzip, fetchFromGitHub, boost, cmake, ncurses, python2
  , z3Support ? true, z3 ? null
  }:
  
  