1. 2018-06-28 [1] New spurious GMP failures caused by Debian upgrade gmp-devel =?utf-8?Q?Torbj=C3=B6 2. 2018-06-05 [1] _ptr and _srcptr types gmp-devel Emmanuel =?utf-8?B?VG