summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
Diffstat (limited to '.SRCINFO')
-rw-r--r--.SRCINFO11
1 files changed, 5 insertions, 6 deletions
diff --git a/.SRCINFO b/.SRCINFO
index bbba8d1c15a4..1b90c3ed3ccd 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,13 +1,12 @@
pkgbase = verifpal
- pkgdesc = Cryptographic protocol analysis for students and engineers.
- pkgver = 0.26.1
+ pkgdesc = Cryptographic protocol analysis for real-world protocols.
+ pkgver = 0.27.0
pkgrel = 1
- url = https://verifpal.com/
+ url = https://verifpal.com
arch = x86_64
license = GPL3
makedepends = go
- depends = glibc
- source = verifpal-0.26.1.tar.bz2::https://source.symbolic.software/verifpal/verifpal/-/archive/v0.26.1/verifpal-v0.26.1.tar.bz2
- sha256sums = c3da52c1d9a2cceff14abc69a213343701b2e75f4867bad92e202809e63c4a7b
+ source = https://source.symbolic.software/verifpal/verifpal/-/archive/v0.27.0/verifpal-v0.27.0.tar.bz2
+ sha256sums = a1a024e271c9364f3076278c2fc3fd0da93b9d5cd75468691d86787fbd61e8c0
pkgname = verifpal