cask "tla-plus-toolbox" do
  version "1.7.0"
  sha256 "66ee35f952fd80239cbf3c7e869bd0315234165677efc2a0f00d2a00ac1c6512"

  # github.com/tlaplus/tlaplus/ was verified as official when first introduced to the cask
  url "https://github.com/tlaplus/tlaplus/releases/download/v#{version}/TLAToolbox-#{version}-macosx.cocoa.x86_64.zip"
  appcast "https://github.com/tlaplus/tlaplus/releases.atom"
  name "TLA+ Toolbox"
  homepage "https://lamport.azurewebsites.net/tla/toolbox.html"

  app "TLA+ Toolbox.app"
end