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