Comment 3 for bug 62405

Louis: you can always add the official Opera repository to your sources.list file:

from Terminal run:

sudo gedit /etc/apt/sources.list

add these two lines:

## Opera
deb http://deb.opera.com/opera testing non-free

save the file and then add the Opera public key by running the following:

gpg --keyserver subkeys.pgp.net --recv 6A423791 && gpg --export --armor 6A423791 | sudo apt-key add -

Run Synaptic, press reload and apply and you should get the latest version of Opera if you already have the "opera" package installed.