/gnu/store/22i2xv5xsrw2p0bik97rbqvjl1ksga9y-gmp-6.0.0a.tar.xz.drv