On Sun, Jun 11, 2017 at 3:30 PM, Adam Borowski <kilobyte@angband.pl> wrote: > No, when taken alone, -dev packages Recommending -doc is just right. https://anonscm.debian.org/cgit/dbnpolicy/policy.git/commit/?id=dc3b001 Thanks, Jeremy Bicha