1. 2019-01-25 [6] compilation fails with CompCert-3.4 on Linux x86-64; patch proposed gmp-bugs Vincent Lefevre 2. 2019-01-12 [2] Stray backslashes in html docs gmp-bugs =?utf-8?Q?Torbj=C3=B6 3. 2019-01-06 [12] [oss-security] Asserts considered harmful (or GMP spills its sensitive i gmp-bugs Niels =?utf-8?Q?M=C3= 4. 2019-01-01 [3] Re: mini-gmp: error: no previous prototype for 'mpz_lucas_mod' gmp-bugs Niels =?utf-8?Q?M=C3= 5. 2019-01-01 [1] [ADMIN] Foul language and swearwords gmp-bugs Niels =?utf-8?Q?M=C3=