/gnu/store/s8h12vqrjqskn3gf4lhd6q6azd62s92a-gmp-6.0.0a.tar.xz.drv