/gnu/store/07gv3j87z29ipr8g90274hc5zl2v2in8-gmp-6.0.0a.tar.xz.drv