That looks like a stupid bug on our part. I think the best way to fix this is to correct the .so version number in our repo since the current numbering is useless.
Bill. On 19 November 2015 at 14:28, Jeroen Demeyer <jdeme...@cage.ugent.be> wrote: > The .so version number changed from > > libmpir.so.16.0.0 (MPIR 2.7.0) > > to > > libmpir.so.10.6.1 (MPIR 2.7.1) > > which is strange in several ways (it's a downgrade; did the version need > to change at all for a bug-fix release?). It's probably at the basis of the > problems in Sage. > > > Jeroen. > > > -- > You received this message because you are subscribed to the Google Groups > "mpir-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to mpir-devel+unsubscr...@googlegroups.com. > To post to this group, send email to mpir-devel@googlegroups.com. > Visit this group at http://groups.google.com/group/mpir-devel. > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "mpir-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to mpir-devel+unsubscr...@googlegroups.com. To post to this group, send email to mpir-devel@googlegroups.com. Visit this group at http://groups.google.com/group/mpir-devel. For more options, visit https://groups.google.com/d/optout.