Commit 815bc0a6 authored by drone's avatar drone Committed by Nadim Kobeissi

Brew formula update for verifpal version v0.17.8

parent 99b98d26
Pipeline #650 canceled with stages
......@@ -2,16 +2,16 @@
class Verifpal < Formula
desc "Cryptographic protocol analysis for students and engineers."
homepage ""
version "0.17.7"
version "0.17.8"
bottle :unneeded
if OS.mac?
url ""
sha256 "b9fe3a9a85985230c1fb1ced9ce864633d7278989995535c111a221889402e0a"
url ""
sha256 "6ab2bda0c034993ba470f1272f9c523598a82ddebdd91d2890c95d2267709149"
elsif OS.linux?
url ""
sha256 "cee0e18ddee09053da6442d3817a086c925d267616decfb6be019d722b866b47"
url ""
sha256 "2f5745293791b06d1219d904c8b3fa3017bc399689d9424e28eaea8d60d36f89"
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment