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

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