Hmm, actually, I have LIBGMP_LT_CURRENT = 16 LIBGMP_LT_REVISION = 1 LIBGMP_LT_AGE = 6
I don't see where the 10 is coming from. Bill. On 19 November 2015 at 15:03, Bill Hart <goodwillh...@googlemail.com> wrote: > 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-de...@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 "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
