BarkingGhostar
Diamond Member
So, I'm in LinuxMint 15 (3.8.0.19 kernal) with Cinnamon and opened the Software manager searching for VirtualBox. I see many binaries, and the top two are called virtualbox-nonfree and virtualbox. Not sure which is which, but maybe it is obvious (not the nonfree one). 
