You could try opening a bug for the linux package (https://launchpad.net/ubuntu/+source/linux), but I'm not sure it is a bug exactly. Other tools like depmod may add files to /lib/modules/$version, which causes apt to not remove the /lib/modules/$version directory so that it does not accidentally delete data the user did want deleted.
You could try opening a bug for the linux package (https:/ /launchpad. net/ubuntu/ +source/ linux), but I'm not sure it is a bug exactly. Other tools like depmod may add files to /lib/modules/ $version, which causes apt to not remove the /lib/modules/ $version directory so that it does not accidentally delete data the user did want deleted.