Dear Debian developers, I believe that the error is in the cpuid emulated by the VM. Anyway, the following workaround may solve the problem:
http://gmplib.org:8000/gmp-5.0/rev/ffdad0cda019 The package should be built with --enable-fat, in my opinion. Best regards, Marco -- http://bodrato.it/papers/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org