anchor.diff:        cp -pv texk/web2c/pdftexdir/pdftoepdf{-poppler0.86.0,}.cc
         cp -pv texk/web2c/pdftexdir/pdftosrc{-poppler0.83.0,}.cc
       '';
  -
  -    # remove when removing synctex-missing-header.patch
  -    preAutoreconf = "pushd texk/web2c";
  -    postAutoreconf = "popd";
   
       configureFlags = [
         "--with-banner-add=/NixOS.org"
  
positive.code:   pname = "texlive-bin";
    inherit version;
  
    inherit (common) src prePatch preAutoreconf postAutoreconf;
  
    outputs = [ "out" "doc" ];
  
    nativeBuildInputs = [ pkgconfig autoreconfHook ];
    buildInputs = [
      /*teckit*/ zziplib poppler mpfr gmp
      pixman gd freetype libpng libpaper zlib
  
negative.code:   pname = "texlive-core-big.bin";
    inherit version;
  
    inherit (common) src prePatch;
  
    hardeningDisable = [ "format" ];
  
  