Bug#814671: libgmp10: please update symbols for nios2

[Helmut Grohne]

Source: gmp
Version: 2:6.0.0+dfsg-6
Tags: patch
User: helmutg at debian.org
Usertags: rebootstrap

Dear gmp maintainer,

gmp fails to build from source on nios2 (which is a new architecture
from a Debian point of view). dpkg-gensymbols fails missing a lot of
symbols. This is kinda expected for a new port. As it happens, nios2
behaves exactly the same as mips (and a few other architectures) from a
gmp symbols point of view. Thus

    sed -i 's/!mips /!nios2 &/' debian/libgmp10.symbols

can be used to make the gmp build succeed on nios2. Can you apply this
fix?

Helmut