Installing VirtualBox 4.2 on Linux Mint 13 (Maya)

Maya's Software Manager is stuck on VirtualBox version 3.1.12. To install version 4.2 first create a source repository list file in /etc/apt/sources.list.d:

echo "deb http://download.virtualbox.org/virtualbox/debian precise contrib" | tee /etc/apt/sources.list.d/virtualbox.list

where 'precise' is the Ubuntu release corresponding to Maya.

Register the authentifier key:

wget -q http://download.virtualbox.org/virtualbox/debian/oracle_vbox.asc -O- | sudo apt-key add -

Resynchronize the package index files and install:

apt-get update
apt-get install dkms virtualbox-4.2