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