anchor.diff:          patchShebangs api/genheaders.py
           patchShebangs api/reg.py
   
  +        # Remove generated headers stored in the repo
           rm -v api/EGL/egl{,ext}.h
  +
  +        # Fix impure date in headers
  +        grep -q "time.strftime('%Y%m%d')" api/genheaders.py
  +        sed -i api/genheaders.py \
  +          -e "s,time.strftime('%Y%m%d'),'${lib.replaceStrings ["-"] [""] date}',"
         '';
   
         configurePhase = ":";
  
positive.code: 
    passthru = {
      generateDistTarball = stdenv.mkDerivation rec {
        name = "egl-headers-dist-${version}";
  
        src = fetchFromGitHub {
          version = 6;
  
negative.code:           install -D -m644 -v "$xml" ${name}/xml/"$(basename "$xml")"
          done
  
          tar -Jcvf opengl-headers-${date}.tar.xz ${name}/
  
          install -D -m644 -v 'opengl-headers-${date}.tar.xz' \
            "$out/egl-headers-${date}.tar.xz"
        '';
      };
    };
  