/gnu/store/4x6bc7ynkfzrccwhia89lfm44d8pf7lb-gmp-6.2.0.drv