.SRCINFO


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.4
	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.4/verifpal_0.27.4_linux_amd64.zip
	source = verifpal-bin-0.27.4-manual.pdf::https://verifpal.com/res/pdf/manual.pdf
	source = verifpal-bin-0.27.4-manual-license.txt::https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode.txt
	sha256sums = 01e5d48e6b9859db3baa37fd4ac4b5a7380c09602befceb31dcfac71f3ed14bf
	sha256sums = SKIP
	sha256sums = 38762e3777f4ec00a6f769062a7c3f704fb78ce08303ecff88558da4c49cf9ea

pkgname = verifpal-bin