/gnu/store/shibz873n7qpmvyn6bqd0pcjixgph7hx-gmp-6.3.0.drv