/gnu/store/1jh36z5fr4lfdi42hjx4a7pgpdprdig5-gmp-6.2.0.tar.xz.drv