/gnu/store/r04bb9lcddxfxc8l69x2ji194ixk1yh0-gmp-6.2.1.tar.xz.drv