Package: user-mode-linux Version: 4.7-1um-1 Severity: normal A separate source package for user-mode-linux made sense 15 years ago, when a huge patch of non-upstreamed kernel code existed for user-mode-linux.
What is left today in the user-mode-linux source package are 6 small patches to UML-specific code (2 or 3 of them look Debian-specific) and the kernel configurations for i386 and amd64. There doesn't seem to be any good reason left for a separate source package, and this would also bring DSA fixes for stretch kernels automatically to the user-mode-linux kernel.