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