/gnu/store/saj4zy570zxlcc2sc31l6w3566qkhi2s-stex-1.2.2-1.5405149-checkout.drv