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