Re: Bug#885698: Bug#1135097: Bug#885698: What licenses should be included in /usr/share/common-licenses?

On Tue, Apr 28, 2026 at 05:32:32PM +0500, Andrey Rakhmatullin wrote:
> On Tue, Apr 28, 2026 at 01:15:35PM +0100, Peter Blackman wrote:
> > Could common-licenses directory be compressed?
> 
> We don't even compress copyright files (in fact, we explicitly forbid that
> in Policy 12.5). That would save even more space, it's 63 MB in total on my
> machine and 2.1 MB on the aforementioned minimal forky.
> 
> I've searched for a policy bug and of course there was one: #491055, filed
> in 2008, no discussions after 2008, closed in 2017 for inactivity.

The reason is that the Debian policy team expected this could only be settled
by the NEW team and the legal team so there was no point to debate either way.

Cheers,