On Sun, 2013-04-21 at 21:41 +0200, marco atzeri wrote: > there is also a mismatch gmp-devel and libgmp-devel, how we solve ? > Similar for the some of the other packages AFAIAC we should stick with the lib*-devel names. Yaakov