On Sun, May 27, 2012 at 09:57:14 +0200, bodr...@mail.dm.unipi.it wrote: > Anyway, the following workaround may solve the problem: > > http://gmplib.org:8000/gmp-5.0/rev/ffdad0cda019 > Thanks, much appreciated.
Cheers, Julien -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
