Package: ftp.debian.org Severity: normal mkvmlinuz is a tool which glues up kernel and initramfs into one file which can be loaded directly from a firmware. Therefore it belongs to utils, not devel section.
M
signature.asc
Description: OpenPGP digital signature