Hi all, the gmp-devel list is for "Technical discussions between developers". We have seen recently several patches posted, which I believe do no match the list definition. If there is no other way to transfer source code, maybe one should create a gmp-patch list? Paul Zimmermann