Bug#347581: debian-policy: Explicitly permit *-headers binary package created from library source package

[Bill Allombert <Bill.Allombert@math.u-bordeaux1.fr>]

On Wed, Jan 11, 2006 at 01:04:44PM -0500, Kevin B. McCarty wrote:
> benjo (sid)[126]:~% ls -l src/GEANT4/geant4-headers_4.8.0-1_all.deb
> -rw-r--r-- 1 kmccarty kmccarty 1300680 2006-01-11 11:58
> src/GEANT4/geant4-headers_4.8.0-1_all.deb
> 
> but I guess even 11 * (1.3 MB) isn't so much compared to the full
> archive size.

Are you sure they are architecture-independant ? 

> If the general attitude of debian-devel is that this bug should be
> closed, fine -- I don't have a deep emotional investment in it :-)
> Although in that case someone may want to file policy bugs against the
> headers packages I mentioned in the original email.

As far as I am concerned, I have no objections on the -headers packages, 
provided there exists a -dev package that depends on it and that it is
worth the extra Packages lines.

Cheers,
Bill.