/gnu/store/y8pf5bcawljs11hskijxsizjly2cflj0-gmp-6.0.0a.tar.xz.drv