Re: [PATCH] gnu: gzochi: Update to 0.10.

[David Craven]

Isn't gmp already an implicit input of the gnu-build-system? It still
ends up in the runpath, it's just not required to be an input.