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