blob: 64904ebba1594b9928a14a001ba2aa06884641e9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
pkgbase = verifpal
pkgdesc = Cryptographic protocol analysis for real-world protocols.
pkgver = 0.27.2
pkgrel = 2
url = https://verifpal.com
arch = x86_64
license = GPL3
license = custom:cc-by-nc-nd-4.0
makedepends = go
source = https://github.com/symbolicsoft/verifpal/archive/refs/tags/v0.27.2.tar.gz
source = verifpal-0.27.2-manual.pdf::https://verifpal.com/res/pdf/manual.pdf
source = verifpal-0.27.2-manual-license.txt::https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode.txt
sha256sums = c79ad450dd28429f4ef20020e063aa8f333433f92f3d148332cd8a5363d0368d
sha256sums = c7fa06540e3414b5254a74da2b555dbf226a8e09ed11a1085baa00fc808d00a3
sha256sums = 38762e3777f4ec00a6f769062a7c3f704fb78ce08303ecff88558da4c49cf9ea
pkgname = verifpal
|