Hi, Julien Puydt wrote: > That makes quite a few 'lib', but it's better than what I proposed ; > if nobody complains I'll just use those names in a few days. What about something like libflint-arb, since Arb is basically a FLINT extension, and its manual even states that it "might get merged back into FLINT" someday? I have absolutely no idea if this is consistent with Debian policies, though. -- Marc