Hello, On Mon, Jun 15, 2009 at 08:40, Sylvain Le Gall<gildor@debian.org> wrote: > It is not a general purpose tools and -dev package have probably a lot > of thing in common with this tool... And multiplying the number of packages for the same software is strongly disapproved by some users. ;-) Yours, d.