blob: 62f84c3201467ca176a521d96d3896e5de108e7a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
pkgbase = verifpal
pkgdesc = Cryptographic protocol analysis for students and engineers.
pkgver = 0.19.3
pkgrel = 1
url = https://verifpal.com/
arch = x86_64
license = GPL
makedepends = go
depends = glibc
source = https://source.symbolic.software/verifpal/verifpal/-/archive/v0.19.3/verifpal-v0.19.3.tar.bz2
sha256sums = 207064ae88450474f45904e17ac3a378936a73a56d33259316505f6d14f0f20f
pkgname = verifpal
|