/gnu/store/ay1cyp6qah3lqkaa314vh565j6znhvbs-gmp-6.2.0.tar.xz.drv