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