[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#1081826: marked as done (linux-libc-dev ships header files not needed for 99% of it's users)

Your message dated Thu, 5 Dec 2024 09:09:33 +0100
with message-id <20241205080933.47nls5kfkngsfys6@shell.thinkmo.de>
and subject line Re: Bug#1081826: linux-libc-dev ships header files not needed for 99% of it's users
has caused the Debian Bug report #1081826,
regarding linux-libc-dev ships header files not needed for 99% of it's users
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
1081826: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1081826
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: linux-libc-dev
Version: 6.10.9-1
Severity: important
Tags: sid trixie
linux-libc-dev started shipping header files not needed for 99% of it's users. The default usage of linux-libc-dev is the availability of the user facing header files for native builds. These make up likely 99% or more of the use cases. There is no need to add extra stuff like the header files for any other architecture. These should be split out into separate packages.
Please optimize for our users, not the space of a package on a ftp mirror, or for cross build users (which also don't need these header files all at a time).
--- End Message ---
--- Begin Message --- 
On Sun, Sep 15, 2024 at 10:53:45AM +0200, Matthias Klose wrote:
> linux-libc-dev started shipping header files not needed for 99% of it's
> users.

No, those files are needed by users.

If you think differently, then please provide a list of files you think
are not needed and why.

Bastian

-- 
There's a way out of any cage.
		-- Captain Christopher Pike, "The Menagerie" ("The Cage"),
		   stardate unknown.

--- End Message ---
Reply to: