/gnu/store/514wg85kf4l04qk9xw3ssfiaaamqkq6k-gmp-6.2.1.tar.xz.drv