Commit 493418bc authored by drone's avatar drone Committed by Nadim Kobeissi

Brew formula update for verifpal version v0.15.2

parent ec173291
Pipeline #543 canceled with stages
......@@ -2,16 +2,16 @@
class Verifpal < Formula
desc "Cryptographic protocol analysis for students and engineers."
homepage ""
version "0.15.1"
version "0.15.2"
bottle :unneeded
if OS.mac?
url ""
sha256 "2ac1b1ced3234e2b6e30bbcf8d36842c89873ee50f500e1b3e28e47986d604c3"
url ""
sha256 "e3fa380802071f4f658c0d87d98b6fa53ea828d54dd663769066afb5de23709b"
elsif OS.linux?
url ""
sha256 "61edb0c1b3861e9e8ef609d3c9cdcd7b1fbfa90a1a90c4b3b330755a4391f51c"
url ""
sha256 "aebf1077e86794237656f2aa44dfbdaaad341f0b265428ab4bef8a68e257198a"
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