summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorPhilipp Claßen2020-09-03 14:10:58 +0200
committerPhilipp Claßen2020-09-03 14:10:58 +0200
commit9e26afcb3cc4069919db2b753a7dd2b94afdfe61 (patch)
tree9d5728b0f8ed5bb050db52d2eaee25a2e149d4fd
parent9d392488ffcf3e3e1b727e97e44d81e4dbff13bd (diff)
downloadaur-9e26afcb3cc4069919db2b753a7dd2b94afdfe61.tar.gz
Update to 0.19.1
-rw-r--r--.SRCINFO6
-rw-r--r--PKGBUILD4
2 files changed, 5 insertions, 5 deletions
diff --git a/.SRCINFO b/.SRCINFO
index d567ac241069..4d3b1aa5a15d 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,14 +1,14 @@
pkgbase = verifpal
pkgdesc = Cryptographic protocol analysis for students and engineers.
- pkgver = 0.14.1
+ pkgver = 0.19.1
pkgrel = 1
url = https://verifpal.com/
arch = x86_64
license = GPL
makedepends = go
depends = glibc
- source = https://source.symbolic.software/verifpal/verifpal/-/archive/v0.14.1/verifpal-v0.14.1.tar.bz2
- sha256sums = c25862af0d562efc6e49f28dda6e442eac328ef8e0d3f12748ac06eb952ea0df
+ source = https://source.symbolic.software/verifpal/verifpal/-/archive/v0.19.1/verifpal-v0.19.1.tar.bz2
+ sha256sums = 406f57dc3ae8c354b3a46b1aa1fbe9ae6eea2146f1ab407859e88500961f56e8
pkgname = verifpal
diff --git a/PKGBUILD b/PKGBUILD
index c53066255905..0bc1a3367694 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,6 +1,6 @@
# Maintainer: <philipp.classen@posteo.de>
pkgname=verifpal
-pkgver=0.14.1
+pkgver=0.19.1
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=('c25862af0d562efc6e49f28dda6e442eac328ef8e0d3f12748ac06eb952ea0df')
+sha256sums=('406f57dc3ae8c354b3a46b1aa1fbe9ae6eea2146f1ab407859e88500961f56e8')
prepare() {
cd "$srcdir/${pkgname}-v${pkgver}"