Bug#818990: Is it really a flint problem?

[Julien Puydt]

Hi,

(1) according to:
  https://buildd.debian.org/status/package.php?p=flint&suite=sid
the version 2.5.2-3 of flint built perfectly on amd64.

(2) more recently (yesterday) :
  https://buildd.debian.org/status/package.php?p=flint&suite=experimental
the version 2.5.2-4 of flint built perfectly on amd64.

(3) many tests on different amd64 systems (three by myself, and a few 
others from people on #debian-mentors) didn't have any issue with 
2.5.2-4 either.

This suggest the package isn't at fault and the rare systems where the 
failures occurred should be double-checked for the real root of the problem.

Thanks,

Snark on #debian-science