[Pkg-uml-pkgs] Bug#742016: user-mode-linux: build-depends on linux-source-3.12 which is no longer in the archive

[Mattia Dongili]

On Mon, Apr 14, 2014 at 09:48:01PM +0200, Jakub Wilk wrote:
> * Ansgar Burchardt <ansgar at debian.org>, 2014-03-18, 12:04:
> >user-mode-linux build-depends on linux-source-3.12 which is no longer in
> >the archive. The current version is linux-source-3.13.
> 
> Any news on this? Do you need help?

Yes, at the moment I'm busy and cannot work on this (I might in the next
two weeks though). And unfortunately I'm the only "active" maintainer in
the team.

Updating the user-mode-linux package is just a matter of setting the
correct version in debian/{rules,control}, updating the kernel
configuration (there are debian/rules targets to help with that -
oldconfig{32,64} - policy is M for everything) and building the package.
If there are no major issues, this is it.

Let me know if you can help. Else I can try towards the weekend.

Thanks
-- 
mattia
:wq!