Forgot to mention, I added the virtualbox repository earlier, not sure if you need to do that to install virtualbox-4.3, but in case you do, this is how I did it:
$ sudo sh -c 'echo "deb http://download.virtualbox.org/virtualbox/debian precise contrib" >> /etc/apt/sources.list.d/virtualbox.list' when I tried to do "sudo apt-get update" after that, I got a key error: W: GPG error: http://download.virtualbox.org precise Release: The following signatures couldn't be verified because the public key is not available: NO_PUBKEY 54422A4B98AB5139 which I solved with this command: $ sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-keys 54422A4B98AB5139 then the update worked: $ sudo apt-get update -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1379658 Title: virtualbox-dkms 4.1.12-dfsg-2ubuntu0.6: virtualbox kernel module failed to build To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/virtualbox/+bug/1379658/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs