Bug#984744: gmp: update symbols for mips64r6el

[Helmut Grohne]

Source: gmp
Version: 2:6.2.1+dfgs-1
Tags: ftbfs patch
User: helmutg at debian.org
Usertags: rebootstrap

gmp would fail to build from source on mips64r6el if we had bootstrapped
this port due to symbol issues. It lacks any symbol that is also missing
on mips64el. Please update the symbol file:

    sed -i -e 's/!mips64el/& !mips64r6el/' debian/libgmp10.symbols

Helmut