# VirtualBox
deb http://download.virtualbox.org/virtualbox/debian @DISTRIBUTION@ contrib