Commit 92b6c6e1 authored by drone's avatar drone Committed by Nadim Kobeissi

Brew formula update for verifpal version v0.17.6

parent eb589174
Pipeline #628 canceled with stages
......@@ -2,16 +2,16 @@
class Verifpal < Formula
desc "Cryptographic protocol analysis for students and engineers."
homepage ""
version "0.17.5"
version "0.17.6"
bottle :unneeded
if OS.mac?
url ""
sha256 "7d194cb2e8d94a8f73c0ccc897e9d045171d6a68a7dc723c3b72c51e681e2c4a"
url ""
sha256 "aa36313b68f02467415706fcb8ed45bf2c52e6d4d6ea5a92aa1a92b08dbd91bb"
elsif OS.linux?
url ""
sha256 "8906ba88304f4c47a5b25fadaa50fb2217ba54750343c3773e301598159ff262"
url ""
sha256 "5d3ccf85fd557dca717e54e2a1871f5ee6bda4ec2ec52e0624759e93f5aaff33"
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