anchor.diff:        codyopel
       ];
       platforms = with platforms;
  -      i686-linux
  -      ++ x86_64-linux;
  +      x86_64-linux;
     };
   }
  
positive.code:     "--enable-completion-providers"
      "--disable-glade-catalog"
      "--enable-nls"
      "--disable-gtk-doc"
      "--disable-gtk-doc-html"
      "--disable-gtk-doc-pdf"
  
negative.code: 
  stdenv.mkDerivation rec {
    name = "gtksourceview-${version}";
    versionMajor = "3.20";
    versionMinor = "0";
    version = "${versionMajor}.${versionMinor}";
  
    src = fetchurl {
      url = "mirror://gnome/sources/gtksourceview/${versionMajor}/${name}.tar.xz";
      sha256 = "0b753cbd49cdfb0fb8bb347e4669dcc233d9c05c1d321429efe93c4e885262fd";
    };
  
    patches = [
  