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