On Friday, 7 April 2023 23:15:03 CEST Debian Bug Tracking System wrote:
> > Comments:
> > 1. If the kernel installation requires the headers to function properly,
> > then they should probably be a package dependency.
> 
> As said above, the kernel does need the headers installed.

Correction: the kernel does *NOT* need the headers installed

Attachment: signature.asc
Description: This is a digitally signed message part.

Reply via email to