summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD4
1 files changed, 2 insertions, 2 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 0bc1a3367694..dcbeb5cf3e82 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,6 +1,6 @@
# Maintainer: <philipp.classen@posteo.de>
pkgname=verifpal
-pkgver=0.19.1
+pkgver=0.19.3
pkgrel=1
pkgdesc="Cryptographic protocol analysis for students and engineers."
arch=('x86_64')
@@ -9,7 +9,7 @@ license=('GPL')
depends=(glibc)
makedepends=('go')
source=("https://source.symbolic.software/verifpal/verifpal/-/archive/v${pkgver}/verifpal-v${pkgver}.tar.bz2")
-sha256sums=('406f57dc3ae8c354b3a46b1aa1fbe9ae6eea2146f1ab407859e88500961f56e8')
+sha256sums=('207064ae88450474f45904e17ac3a378936a73a56d33259316505f6d14f0f20f')
prepare() {
cd "$srcdir/${pkgname}-v${pkgver}"