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