anchor.diff:            install -D -m644 -v "$xml" ${name}/xml/"$(basename "$xml")"
           done
   
  -        tar -Jcvf opengl-headers-${version}.tar.xz ${name}/
  +        tar -Jcvf opengl-headers-${date}.tar.xz ${name}/
   
  -        install -D -m644 -v 'opengl-headers-${version}.tar.xz' \
  -          "$out/egl-headers-${version}.tar.xz"
  +        install -D -m644 -v 'opengl-headers-${date}.tar.xz' \
  +          "$out/egl-headers-${date}.tar.xz"
         '';
       };
     };
  
positive.code: 
    passthru = {
      generateDistTarball = stdenv.mkDerivation rec {
        name = "egl-headers-dist-${version}";
  
        src = fetchFromGitHub {
          version = 6;
  
negative.code:         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 = ":";
  