From 367a50648774d0f5ea2be09603febf0189d5388a Mon Sep 17 00:00:00 2001 From: Ed Reel Date: Fri, 10 Jun 2022 11:11:17 -0500 Subject: [PATCH] Opera 87.0.4390.45 => 88.0.4412.27 (#7132) --- packages/opera.rb | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/packages/opera.rb b/packages/opera.rb index 5778f3bbba..62310aad30 100644 --- a/packages/opera.rb +++ b/packages/opera.rb @@ -3,14 +3,14 @@ require 'package' class Opera < Package description "Opera is a multi-platform web browser based on Chromium and developed by Opera Software." homepage 'https://www.opera.com/' - version '87.0.4390.45' + version '88.0.4412.27' license 'OPERA-2018' compatibility 'x86_64' # faster apt mirror, but only works when downloading latest version of opera # source_url "https://deb.opera.com/opera/pool/non-free/o/opera-stable/opera-stable_#{version}_amd64.deb" source_url "https://get.opera.com/pub/opera/desktop/#{version}/linux/opera-stable_#{version}_amd64.deb" - source_sha256 '76b07e76a9d710d8d8688db4c3c87378e8db78d97d39afde595f00a42fc84108' + source_sha256 '5929defe266d11077e21e4115ee7ca3fd9cf76ec89b72640a19af6ed11b973d7' depends_on 'gtk3' depends_on 'gsettings_desktop_schemas'