/gnu/store/php6by0hpk7xma4kp54l4j4ssr67a1wx-texinfo-6.7.drv