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