/gnu/store/waha1cp7zm3y7xvnv3xrddfdidsdz5y3-gmp-6.0.0a.tar.xz.drv