In case its news to others:
After getting the 4.2.12 announcement from Virtualbox this morning, I noticed they had raring builds. Uncommented the 'raring' line in sources.list and it pulled down 4.2.12.
It wouldn't initially install, complaining about being unable to unload the vboxpci driver, but a reboot, and reinstall of virtualbox-4.2 solved that.
After getting the 4.2.12 announcement from Virtualbox this morning, I noticed they had raring builds. Uncommented the 'raring' line in sources.list and it pulled down 4.2.12.
It wouldn't initially install, complaining about being unable to unload the vboxpci driver, but a reboot, and reinstall of virtualbox-4.2 solved that.