/gnu/store/igi0cl57x2b02p0dvlbd3crq68dj13lf-gmp-6.2.1.drv