Bug#953437: Flint problem reported upstream

[David Bremner]

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

>
> Well, that will be something to check when we'll have a fixed package
> (be it with a patch or a new upstream version).
>
> And if it doesn't fix everything, that will be something to
> investigate.

Sure, I don't want to discourage people from fixing bugs. On the other
hand, it's only fair to note that the set of people that actually 
run polymake on mipsel is probably pretty small. So from my point of
view a small performance / feature loss on an architecture nobody uses
(for this task) is acceptable.