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