/gnu/store/a0kv9r7pgq6sxb53x2nxj4yajkrxxwqc-gmp-6.2.0.tar.xz.drv