Ciao, Il Dom, 19 Febbraio 2017 8:41 pm, Marco Bodrato ha scritto: > If the small patch already pushed is enough to heal the _initset, _reseed > problem, we might dec Sorry, I truncated the message. I mean, for GMP 7, we might forget the seed->sequence backward compatibility... Best regards, m -- http://bodrato.it/papers/