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