From 3ee2cb466fad1c674513e0857ae1f6e123f99cef Mon Sep 17 00:00:00 2001 From: Paul Swartz Date: Thu, 24 Feb 2022 08:48:41 -0500 Subject: [PATCH] fix: update SHA256 for tla-plus-toolbox (#119631) Not sure where the initial SHA256 came from, but it does not match what's currently coming from https://github.com/tlaplus/tlaplus/releases --- Casks/tla-plus-toolbox.rb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Casks/tla-plus-toolbox.rb b/Casks/tla-plus-toolbox.rb index 7e3aa7534e..0e54aa8c0b 100644 --- a/Casks/tla-plus-toolbox.rb +++ b/Casks/tla-plus-toolbox.rb @@ -1,6 +1,6 @@ cask "tla-plus-toolbox" do version "1.8.0" - sha256 "0353bd93f318b90608f1d1bc0c7bc6b43f4631476f22b90d30be793e156bdb03" + sha256 "81cd2276215ceda37ca629f30886c82bdce5987133d585d3fcadd47cd3df861e" url "https://github.com/tlaplus/tlaplus/releases/download/v#{version}/TLAToolbox-#{version}-macosx.cocoa.x86_64.zip", verified: "github.com/tlaplus/tlaplus/"