[Pkg-virtualbox-devel] Processed: Re: Bug#691169: not really fixed

[Debian Bug Tracking System]

Processing control commands:

> tag -1 + moreinfo
Bug #691169 [src:virtualbox] kernel modules fail to build against linux kernel v3.{6,7}
Bug #696011 [src:virtualbox] kernel modules fail to build against linux kernel v3.{6,7}
Bug #696667 [src:virtualbox] kernel modules fail to build against linux kernel v3.{6,7}
Bug #696953 [src:virtualbox] kernel modules fail to build against linux kernel v3.{6,7}
Bug #700516 [src:virtualbox] [virtualbox-dkms] building VBOX modules depends on IOMMU being enabled in the kernel config
Added tag(s) moreinfo.
Added tag(s) moreinfo.
Added tag(s) moreinfo.
Added tag(s) moreinfo.
Added tag(s) moreinfo.
> tag -1 - experimental
Bug #691169 [src:virtualbox] kernel modules fail to build against linux kernel v3.{6,7}
Bug #696011 [src:virtualbox] kernel modules fail to build against linux kernel v3.{6,7}
Bug #696667 [src:virtualbox] kernel modules fail to build against linux kernel v3.{6,7}
Bug #696953 [src:virtualbox] kernel modules fail to build against linux kernel v3.{6,7}
Bug #700516 [src:virtualbox] [virtualbox-dkms] building VBOX modules depends on IOMMU being enabled in the kernel config
Removed tag(s) experimental.
Removed tag(s) experimental.
Removed tag(s) experimental.
Removed tag(s) experimental.
Removed tag(s) experimental.

-- 
691169: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=691169
696011: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=696011
696667: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=696667
696953: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=696953
700516: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=700516
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems