Re: Bug#830206: libmpfi-dev: undefined symbol: mpfi_is_strictly_neg_default

2016-07-07 Thread Jerome BENOIT
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Hello Ximin, thanks for your report. On 07/07/16 12:10, Ximin Luo wrote: > Package: libmpfi-dev > Version: 1.5.1+ds-4 > Severity: normal > > Dear Maintainer, > > When trying to compile Sage 7.1 as described in > >

Bug#830206: libmpfi-dev: undefined symbol: mpfi_is_strictly_neg_default

2016-07-07 Thread Ximin Luo
Package: libmpfi-dev Version: 1.5.1+ds-4 Severity: normal Dear Maintainer, When trying to compile Sage 7.1 as described in https://wiki.debian.org/DebianScience/Sage https://anonscm.debian.org/cgit/debian-science/packages/sagemath.git/ Sage compiles successfully but the resulting binary