anchor.diff:  assert vdpauSupport -> libvdpau != null;
   
   # TODO for Kodi 18.0
  -# - cmake is no longer in project/cmake
  -# - maybe we can remove auto{conf,make} and libtool from inputs
   # - check if dbus support PR has been merged and add dbus as a buildInput
  -# - try to use system ffmpeg (kodi 17 works best with bundled 3.1 with patches)
   
   let
  -  kodiReleaseDate = "20171115";
  -  kodiVersion = "17.6";
  -  rel = "Krypton";
  +  kodiReleaseDate = "20190129";
  +  kodiVersion = "18.0";
  +  rel = "Leia";
   
     kodi_src = fetchFromGitHub {
       owner  = "xbmc";
       repo   = "xbmc";
       rev    = "${kodiVersion}-${rel}";
  -    sha256 = "1pwmmbry7dajwdpmc1mdygjvxna4kl38h32d71g10yf3mdm5wmz3";
  +    sha256 = "1ci5jjvqly01lysdp6j6jrnn49z4is9z5kan5zl3cpqm9w7rqarg";
     };
   
     kodiDependency = { name, version, rev, sha256, ... } @attrs:
  
positive.code:     doCheck = false;
  
      postPatch = ''
        substituteInPlace xbmc/linux/LinuxTimezone.cpp \
          --replace 'usr/share/zoneinfo' 'etc/zoneinfo'
      '';
  
      preConfigure = ''
        cd project/cmake
      '';
  
      postInstall = ''
  
negative.code:       homepage    = https://kodi.tv/;
        license     = licenses.gpl2;
        platforms   = platforms.linux;
        maintainers = with maintainers; [ domenkozar titanous edwtjo peterhoeg sephalon ];
      };
  }
  