blob: 649537c8e1a704adfbe14d4b8645b2b8286e0f13 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
pkgbase = verifpal-bin
pkgdesc = Cryptographic protocol analysis for real-world protocols.
pkgver = 0.27.0
pkgrel = 1
url = https://verifpal.com
arch = x86_64
license = GPL3
provides = verifpal
conflicts = verifpal
source = https://source.symbolic.software/verifpal/verifpal/-/releases/v0.27.0/downloads/verifpal_0.27.0_linux_amd64.zip
sha256sums = e72861098d117603f4f0eccc5571de07cfc72354bb759e9db0c38886b780a617
pkgname = verifpal-bin
|