Le samedi 09 mai 2020 à 09:04 -0300, David Bremner a écrit : > Julien Puydt <julien.pu...@gmail.com> writes: > > > I forwarded the problem upstream : > > > > https://github.com/wbhart/flint2/issues/699 > > > > I'll update the package when a fix will be available. > > > > Thanks for you report : a problem notification with a simple test > > case, > > it's just wonderful! > > By the way, I currently disable libflint on mips{64,}el for polymake, > on > the advice of polymake upstream (using flint on those arches leads to > polymake test suite failures). I'm not sure if the problem is > related.
Well, that will be something to check when we'll have a fixed package (be it with a patch or a new upstream version). And if it doesn't fix everything, that will be something to investigate. Cheers, JP
