/gnu/store/6hvvfid62f9l7w1impbjabcwl6r2c8q1-texlive-tetex-51265.drv