1. 2017-10-30 [4] gmp-6.1.99-20171027/mpz/mul_i.h:105]: (style) Checkin gmp-discu =?utf-8?Q?Tor 2. 2017-10-02 [1] Issue with GMP static linkage (and bundle) gmp-discu atlantis23