@Dmitry_R, @Mailaender, @StefanBruens, @TheBlackCat, @adrianSuSE, @anag, @badshah400, @cjunghans, @dstoecker, @eeich, @kwk, @mslacken, @openfoam, @psmt: review reminder

Suspect you need the BuildRequires as Requires for the devel pkg:

~> cat borchardt.c

#include <gmp.h>
#include <mpfr.h>
#include <mpc.h>