diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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}" |