Help stabilising mini-gmp

Torbjörn Granlund tg at
Wed Nov 16 02:57:43 UTC 2016

OK, now the real havoc struck, more than 200 unexpected failures due to
mini-gmp.  I have no idea why they happened now and not sooner.

I clicked on a few, and thet all fail due to the already known ABI

I will save lots of time by simply disable mini-gmp testing for now.
(Cleaning up the current failures will take sveral hours.)

Please encrypt, key id 0xC8601622

More information about the gmp-devel mailing list