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

2018-01-01 Thread Mattia Rizzolo
Thank you for your email. I offer you my condolences for your loss. However, I can't figure why you'd receive this email. Debian has many ways one could subscribe to this kind of email but the most common ones (maintainer of the package, subscription through tracker.debian.org, subscription to

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

2018-01-01 Thread Richard Harke
;To: Debian Bug Tracking System <sub...@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-i...@lists.debian.org >Usertags: ia64 > >Hi! > >src

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

2017-12-31 Thread John Paul Adrian Glaubitz
Source: gmp Version: 2:6.1.2+dfsg-1.1 Severity: normal Tags: patch User: debian-i...@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