On Mon 2017-01-02 19:47:00 -0500, Ansgar Burchardt wrote:
> There was an open bug about changing the overrides (#849903) and I just
> set all packages built from gpgme1.0 to "Priority: optional".
>
> I don't think there is any reason for the lib*-dev packages to be at
> Priority: extra?

I read:

https://www.debian.org/doc/debian-policy/ch-archive.html#s-priorities

as suggesting that -dev packages are generally more "extra-ish" than
"optional", but then again, i think of workstations set up for software
development as having "specialized requirements" compared with what most
computers might reasonably want to install:

>>   optional
>> 
>>      (In a sense everything that isn't required is optional, but that's
>>      not what is meant here.) This is all the software that you might
>>      reasonably want to install if you didn't know what it was and don't
>>      have specialized requirements. This is a much larger system and
>>      includes the X Window System, a full TeX distribution, and many
>>      applications. Note that optional packages should not conflict with
>>      each other.
>> 
>>   extra
>> 
>>      This contains all packages that conflict with others with required,
>>      important, standard or optional priorities, or are only likely to
>>      be useful if you already know what they are or have specialized
>>      requirements (such as packages containing only detached debugging
>>      symbols).

I personally develop software, and i maintain many computers (for
myself, even), and i definitely *don't* want most of my computers to
include the -dev packages.

I'm happy to go with whatever the ftp-master team prefers, though. :)

     --dkg

Attachment: signature.asc
Description: PGP signature

Reply via email to