/gnu/store/kjgplhms52v1zijd7ysqwcnrl141147h-gmp-6.2.1.drv