summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
Diffstat (limited to '.SRCINFO')
-rw-r--r--.SRCINFO6
1 files changed, 3 insertions, 3 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 4d3b1aa5a15d..62f84c320146 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,14 +1,14 @@
pkgbase = verifpal
pkgdesc = Cryptographic protocol analysis for students and engineers.
- pkgver = 0.19.1
+ 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.1/verifpal-v0.19.1.tar.bz2
- sha256sums = 406f57dc3ae8c354b3a46b1aa1fbe9ae6eea2146f1ab407859e88500961f56e8
+ source = https://source.symbolic.software/verifpal/verifpal/-/archive/v0.19.3/verifpal-v0.19.3.tar.bz2
+ sha256sums = 207064ae88450474f45904e17ac3a378936a73a56d33259316505f6d14f0f20f
pkgname = verifpal