/gnu/store/hvqpayp062fqd3zmsj1bdjmk1cwpih4x-texlive-tetex-51265.drv