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