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