/gnu/store/3vw6plkh7sjv0jl0f4lwlwyh6gs8fnms-gmp-6.2.0.tar.xz.drv