1. 2017-07-20 Replacing "redc" gmp-devel =?utf-8?Q?Torbj=C3 2. 2017-07-20 Replacing "redc" gmp-devel paul zimmermann 3. 2017-07-19 Replacing "redc" gmp-devel =?utf-8?Q?Torbj=C3