Bug#953437: Flint problem reported upstream

[Julien Puydt]

Le samedi 09 mai 2020 à 09:04 -0300, David Bremner a écrit :
> Julien Puydt <julien.puydt at 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