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