Bug 29152 - libgmp10 not obsolete older libgmp (for compatibility with older packages)?

Summary: libgmp10 not obsolete older libgmp (for compatibility with older packages)?