From 1703623e1cc79973c7e9b970849059ad53784aa7 Mon Sep 17 00:00:00 2001
From: Panashe Fundira <5841072+munyari@users.noreply.github.com>
Date: Wed, 9 Mar 2022 17:55:52 -0500
Subject: [PATCH] Change TLA+ Toolbox version to stable (#120117)

* Change TLA+ Toolbox version to stable

v.1.8.0 [is pre-release](https://github.com/tlaplus/tlaplus/releases), and the current cask on master is broken right now because the SHA is out of date.

It was recently updated in 3ee2cb466fad1c674513e0857ae1f6e123f99cef only 10 days ago, so we shouldn't expect the SHA to be stable for very long on a pre-release version.

[Homebrew docs](https://docs.brew.sh/Acceptable-Casks#stable-versions) also require stable versions for this repo.

I went and found the latest stable release that distributed a macos archive on the project's releases page, and have updated the package to use that instead.

* Remove from prelease allowlist

* Add livecheck

* Run `brew style --fix "./Casks/tla-plus-toolbox.rb"` again

Co-authored-by: Panashe M. Fundira <panashe@dropbox.com>
---
 Casks/tla-plus-toolbox.rb                         | 9 +++++++--
 audit_exceptions/github_prerelease_allowlist.json | 1 -
 2 files changed, 7 insertions(+), 3 deletions(-)

diff --git a/Casks/tla-plus-toolbox.rb b/Casks/tla-plus-toolbox.rb
index 0e54aa8c0b..fe5519884a 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 "81cd2276215ceda37ca629f30886c82bdce5987133d585d3fcadd47cd3df861e"
+  version "1.7.1"
+  sha256 "78e7d0ecbcba63ef7f13f9f315bfb0365a4f1d952caaa11a0a6f86a1bae5ac99"
 
   url "https://github.com/tlaplus/tlaplus/releases/download/v#{version}/TLAToolbox-#{version}-macosx.cocoa.x86_64.zip",
       verified: "github.com/tlaplus/tlaplus/"
@@ -8,5 +8,10 @@ cask "tla-plus-toolbox" do
   desc "IDE for TLA+"
   homepage "https://lamport.azurewebsites.net/tla/toolbox.html"
 
+  livecheck do
+    url :homepage
+    regex(%r{href=.*?github.com/tlaplus/tlaplus/releases/tag/v?(\d+(?:\.\d+)+)[\s"]}i)
+  end
+
   app "TLA+ Toolbox.app"
 end
diff --git a/audit_exceptions/github_prerelease_allowlist.json b/audit_exceptions/github_prerelease_allowlist.json
index 05c8dee060..6639d08ed9 100644
--- a/audit_exceptions/github_prerelease_allowlist.json
+++ b/audit_exceptions/github_prerelease_allowlist.json
@@ -32,7 +32,6 @@
   "splitshow": "all",
   "steveschow-gfxcardstatus": "all",
   "themeengine": "all",
-  "tla-plus-toolbox": "all",
   "toggl-track": "all",
   "xit": "all"
 }