/gnu/store/7a56r07k2jxwfbcirysp0c7ivjcxb9m5-gmp-6.2.1.drv