Bug#953437: Flint problem reported upstream

[David Bremner]

Julien Puydt <julien.puydt at gmail.com> writes:

> Hi,
>
> 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.

d