Waldemar Brodkorb f14c1fc551 resolve merge conflict vor 10 Jahren
..
patches ff6313ae0e update gmp/mpfr to latest upstream version vor 10 Jahren
Makefile f14c1fc551 resolve merge conflict vor 10 Jahren