apt-get updateすると、[URL]にRelease fileが無いとか出る。

システム設定のソフトウェアとアップデート、他のソフトウェアのところに追加してあるOperaのリポジトリは「[URL]」。これを「[URL]」とするとOK。
Opera 40.0.2308.62に更新できた。

[２３日追記]
更新できたのは何でか。以前の設定は削除して、素直にdebをダウンロードしてインストールすると
[URL]
が登録されていてめでたしめでたし。