Bug#842114: packaged as flint-arb

[Julian Rüth]

I believe that this can be closed as this has been packaged a while ago
as https://packages.debian.org/source/sid/flint-arb