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 -- debian-science-maintainers mailing list [email protected] https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers
