/gnu/store/6hmvlyjbvk11smcdmx98bxmzpnds0ixp-texlive-tetex-51265-checkout.drv