/gnu/store/0ad3dyqc4j86lyv2a9d66hxr6vy5c8ly-gmp-6.1.2.drv