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