[ADMIN] GMP server now hopefully stable

Torbjörn Granlund tg at gmplib.org
Sun May 7 00:30:51 UTC 2017

Both last week-end and this week-end the services of gmplib.org have
been down.  The reason for this is a major re-installation of the
system, moving from NetBSD to Gentoo GNU/Linux as the virtualisation
host.  Prior to this upgrade the system crashed several times per day,
presumably due to NetBSD bugs.

Please encrypt, key id 0xC8601622

More information about the gmp-devel mailing list