Bug#818990: Is it really a flint problem?

[Santiago Vila]

On Sat, May 21, 2016 at 08:47:06AM +0200, Julien Puydt wrote:
> Hi,
> 
> On 21/05/2016 01:46, Santiago Vila wrote:
> > It still fails on reproducible builds on the "armhf" architecture, but
> > only in testing, and the way it fails is now completely different than
> > the way it failed on amd64 in the initial report.
> 
> But it doesn't fail on armhf in not-reproducible buildd:
> https://buildd.debian.org/status/package.php?p=flint

Exactly, so IMHO, this seems like a toolchain bug for which the fix is
in unstable but it has not propagated to testing yet.

In either case, a completely different bug, apparently, than the one
it was reported here.

Thanks.