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