Bug#953437: Flint problem reported upstream

[Julien Puydt]

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!

Cheers,

JP