/gnu/store/haxyi9fskrxw199zkvpxgkf545lk1r06-gmp-6.1.2.tar.xz.drv