anchor.diff:      owner = "MiniZinc";
       repo = "MiniZincIDE";
       rev = version;
  -    sha256 = "1xqs27f14r79vcxf9bx72bbnhxc913lpr5d8cv31dacbq5fyxkw7";
  +    sha256 = "0dfqh73rnp00336pyr1hlgl1wb4m2kh28zvdkamjgml60gmg6wdr";
     };
   
     sourceRoot = "source/MiniZincIDE";
  
positive.code: { stdenv, fetchFromGitHub, qtbase, qtwebengine, qtwebkit, qmake, makeWrapper, minizinc }:
  let
    version = "2.4.2";
  in
  stdenv.mkDerivation {
    pname = "minizinc-ide";
  
negative.code:   '';
  
    meta = with stdenv.lib; {
      homepage = "https://www.minizinc.org/";
      description = "IDE for MiniZinc, a medium-level constraint modelling language";
  
      longDescription = ''
  