Am Mittwoch, 12. Dezember 2012 schrieb Ludovic Courtès:
> Yes, exactly: “everything” depends on GCC, and GCC depends on GMP, MPFR,
> and MPC.  Thus, upgrading one of these leads to a rebuild of everything.
> 
> The way to address it (as is done in Nixpkgs) is to have a staging
> branch for such changes, and to merge it once in a while.  So now is the
> time to inaugurate a new branch.  :-)

Okay. There will soon be a new release of gmp (5.1), this would be a good
time for a merge back.

> Would it be an option for you to send a ‘git format-patch’ kind of
> patch?

Why not, see attached.

Andreas