1. 2017-07-24 [1] Recent changes gmp-devel =?utf-8?Q?Torbj= 2. 2017-07-23 [3] More mini-gmp asserts? gmp-devel Niels =?utf-8?Q? 3. 2017-07-23 [3] mpn_invert_limb gmp-devel Niels =?utf-8?Q? 4. 2017-07-20 [3] Replacing "redc" gmp-devel =?utf-8?Q?Torbj=