Para tener VirtualBox 4.2.12 en nuestro Ubuntu 13.04 debemos de hacer algunos pasos muy sencillos.

Entramos a la consola y escribimos:
echo "deb http://download.virtualbox.org/virtualbox/debian $(lsb_release -sc) contrib" | sudo tee /etc/apt/sources.list.d/virtualbox.list


Ahora descargamos la key. Escribimos en la consola:
wget -q http://download.virtualbox.org/virtualbox/debian/oracle_vbox.asc -O- | sudo apt-key add -


Volvemos a la consola:
sudo apt-get update
sudo apt-get install virtualbox-4.2


Ahora descargamos el VirtualBox 4.2.12 Oracle VM VirtualBox Extension Pack. Entramos a la consola y escribimos:
wget -c http://download.virtualbox.org/virtualbox/4.2.12/Oracle_VM_VirtualBox_Extension_Pack-4.2.12-84980.vbox-extpack


Ahora instalemos el pack que hemos descargado recientemente.
Luego de estos sencillos pasos ya podremos usar VirtualBox 4.2.12.