Arb has been merged with flint 3.0; the standalone arb library is not compatible with flint 3.0.
Debian should remove the separate flint-arb package once it has upgraded flint to 3.0. -- Reply to this email directly or view it on GitHub: https://github.com/fredrik-johansson/arb/issues/454#issuecomment-1880550069 You are receiving this because you authored the thread. Message ID: <fredrik-johansson/arb/issues/454/1880550...@github.com>
