Bug#885907: gmp: Please update symbols file for ia64

[Richard Harke]

This is Richard's wife responding to your email.  Richard passed on June 1, 2016 and I have kept his email account open for people who wanted to reach him.

-----Original Message-----
>From: John Paul Adrian Glaubitz <glaubitz at physik.fu-berlin.de>
>Sent: Dec 31, 2017 12:47 AM
>To: Debian Bug Tracking System <submit at bugs.debian.org>
>Subject: Bug#885907: gmp: Please update symbols file for ia64
>
>Source: gmp
>Version: 2:6.1.2+dfsg-1.1
>Severity: normal
>Tags: patch
>User: debian-ia64 at lists.debian.org
>Usertags: ia64
>
>Hi!
>
>src:gmp currently fails to build from source on ia64 because the
>symbols file libgmp10.symbols needs to be updated.
>
>Please apply the attached patch for the next update to update
>the symbols file accordingly and fix the FTBFS.
>
>Thanks,
>Adrian
>
>--
> .''`.  John Paul Adrian Glaubitz
>: :' :  Debian Developer - glaubitz at debian.org
>`. `'   Freie Universitaet Berlin - glaubitz at physik.fu-berlin.de
>  `-    GPG: 62FF 8A75 84E0 2956 9546  0006 7426 3B37 F5B5 F913