/gnu/store/cli52spd60wy6z5d8d7rxh3fc3555zl8-gmp-6.2.0.drv