Gebruik de Opera repository en voeg daarna de Opera GPG key toe:
deb http://deb.opera.com/opera/ stable non-free
wget -O – http://deb.opera.com/archive.key | sudo apt-key add –
(Bij foutmelding “The following packages cannot be authenticated” moet je ook nog uitvoeren:)
sudo apt-get install debian-archive-keyring