libgmp10 obsoletes "gmp-" libgmpxx4 gmp-devel requires -gmp- requires "libgmp10- = " requires "libgmpxx4- = "