A new user interface for you! Read more...

File baselibs.conf of Package gmp

libgmp10
  obsoletes "gmp-<targettype>"
libgmpxx4
gmp-devel
  requires -gmp-<targettype>
  requires "libgmp10-<targettype> = <version>"
  requires "libgmpxx4-<targettype> = <version>"