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