Steve M. Robbins wrote: > We believe that the bug you reported is fixed in the latest version of > gmp, which is due to be installed in the Debian FTP archive: Thanks! That was quick. :)