Processing commands for cont...@bugs.debian.org:
> unmerge 868290
Bug #868290 {Done: Niels Thykier <ni...@thykier.net>} [debhelper]
[virtualbox-dkms] Fails to build kernel module. File hm_vmx.h not found
Bug #868169 {Done: Niels Thykier <ni...@thykier.net>} [debhelper]
virtualbox-dkms: Fail to build (kernel 4.1.42)
Bug #868239 {Done: Niels Thykier <ni...@thykier.net>} [debhelper]
virtualbox-dkms: Error building initial module for 4.9.0-3-amd64 kernel.
Bug #868282 {Done: Niels Thykier <ni...@thykier.net>} [debhelper]
virtualbox-dkms: kernel modules fail to build due to missing files
Disconnected #868290 from all other report(s).
> reassign 868290 virtualbox-dkms
Bug #868290 {Done: Niels Thykier <ni...@thykier.net>} [debhelper]
[virtualbox-dkms] Fails to build kernel module. File hm_vmx.h not found
Bug reassigned from package 'debhelper' to 'virtualbox-dkms'.
No longer marked as found in versions debhelper/10.6.3.
No longer marked as fixed in versions debhelper/10.6.4.
> found 868290 5.1.22-dfsg-3
Bug #868290 {Done: Niels Thykier <ni...@thykier.net>} [virtualbox-dkms]
[virtualbox-dkms] Fails to build kernel module. File hm_vmx.h not found
Marked as found in versions virtualbox/5.1.22-dfsg-3 and reopened.
> retitle 868290 virtualbox-dkms: Needs rebuild against debhelper/10.6.4
> (missing files)
Bug #868290 [virtualbox-dkms] [virtualbox-dkms] Fails to build kernel module.
File hm_vmx.h not found
Changed Bug title to 'virtualbox-dkms: Needs rebuild against debhelper/10.6.4
(missing files)' from '[virtualbox-dkms] Fails to build kernel module. File
hm_vmx.h not found'.
> severity 868290 grave
Bug #868290 [virtualbox-dkms] virtualbox-dkms: Needs rebuild against
debhelper/10.6.4 (missing files)
Ignoring request to change severity of Bug 868290 to the same value.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
868169: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=868169
868239: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=868239
868282: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=868282
868290: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=868290
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
