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