waveterm/homebrew-cask
0
0
Fork 0
mirror of https://github.com/wavetermdev/homebrew-cask.git synced 2026-08-05 13:43:24 -07:00
Code Issues Packages Projects Releases Wiki Activity

fix: update SHA256 for tla-plus-toolbox (#119631)

Browse Source 
Not sure where the initial SHA256 came from, but it does not match what's currently coming from https://github.com/tlaplus/tlaplus/releases
This commit is contained in:
Paul Swartz
2022-02-24 14:48:41 +01:00
committed by GitHub
parent 77055fc635
commit 3ee2cb466f
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Casks/tla-plus-toolbox.rb
+1 -1
View File
@@ -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/"