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