/gnu/store/xndz2r528d1yxk6fwcqlbngqa7k8wb4x-gmp-6.2.0.drv