blob: a6283f799a3747651c0c35c5cabf378bf4012242 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
pkgbase = verifpal-bin
pkgdesc = Cryptographic protocol analysis for real-world protocols.
pkgver = 0.27.2
pkgrel = 1
url = https://verifpal.com
arch = x86_64
license = GPL3
license = custom:cc-by-nc-nd-4.0
provides = verifpal
conflicts = verifpal
source = https://github.com/symbolicsoft/verifpal/releases/download/v0.27.2/verifpal_0.27.2_linux_amd64.zip
source = verifpal-bin-0.27.2-manual.pdf::https://verifpal.com/res/pdf/manual.pdf
source = verifpal-bin-0.27.2-manual-license.txt::https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode.txt
sha256sums = f19ff232fd051f8b65457c2b4399097e055fd30ab601e4f37609970b132f94f3
sha256sums = 767d202fe82323a25ac2cd72bb91261c681df05633aa0e79b09ef6b5603e43de
sha256sums = 38762e3777f4ec00a6f769062a7c3f704fb78ce08303ecff88558da4c49cf9ea
pkgname = verifpal-bin
|