anchor.diff:        codyopel
       ];
       platforms = with platforms;
  -      i686-linux
  -      ++ x86_64-linux;
  +      x86_64-linux;
     };
   }
  
positive.code: 
    postPatch = ''
      patchShebangs ./src/box_drawing_generate.sh
      patchShebangs ./src/check-libstdc++.sh
      patchShebangs ./src/test-vte-sh.sh
    '';
  
  
negative.code:     (wtFlag "pcre2" (pcre2 != null) null)
    ];
  
    doCheck = false;
  
    meta = with stdenv.lib; {
      description = "A library implementing a terminal emulator widget for GTK+";
  