/gnu/store/cndc9bq1yd9v90q577dmnkjl7a0rs8cj-gmp-6.1.2.drv