deb.opera.com is down
It should have been back up for a few hours now.
Opera have experienced some network problems with some of its services over the last day or so. Sorry for any inconvenience.
Is this an on-going network problem? Still having problems in the UK at around 4pm. I usually use Opera Mini but for the last couple of days I've just had nigh on continuous connection problems. Opera Mobile (and indeed everything else I use for the internet works fine) but then that isn't as fast as Opera Mini.
Well, the repo is back for now, and they updated the Opera 12.16.x (a.k.a. "the Legacy version"). In the case of Opera Mini, it works perfectly for me since Peru, and the main performance problems are mainly since my Samsung Galaxy Mini flashed with CM 7.2.
Ah, before that forget this, the way to install the legacy version of Opera (I mean, the 12.16 version), you must have to put the following on your Debian Jessie/ubuntu/Mint terminal:
apt-get install opera
And voilá, Opera Legacy installed.
Well, the repo is back for now, and they updated the Opera 12.16.x (a.k.a. "the Legacy version").
So please advise the new build number for the 12.16 version which you say has been updated. I still have build 1860 and checking for updates via the browser Help menu does not indicate a new version.
I have 12.16 installed to /usr/local/bin/ which means the package manager will not show 12.16 as installed and hence it will not be updated with apt. ( I suppose 26 installed to /usr/bin/ will update normally with apt).