Verified Commit 4ccdf1ad authored by Nadim Kobeissi's avatar Nadim Kobeissi 💾
Browse files

Update snapcraft.yaml

parent 77b6c2d8
Pipeline #860 canceled with stages
in 1 minute and 7 seconds
......@@ -5,7 +5,7 @@ description: |
Verifpal is new software for verifying the security of cryptographic protocols. Building upon contemporary research in symbolic formal verification, Verifpal’s main aim is to appeal more to real-world practitioners, students and engineers without sacrificing comprehensive formal verification features.
icon: assets/icon.png
confinement: strict
base: core18
base: core20
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