diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -4,7 +4,7 @@ pkgname=verifpal pkgver=0.27.2 -pkgrel=1 +pkgrel=2 pkgdesc="Cryptographic protocol analysis for real-world protocols." arch=('x86_64') url="https://verifpal.com" @@ -14,7 +14,7 @@ source=("https://github.com/symbolicsoft/verifpal/archive/refs/tags/v${pkgver}.t "$pkgname-$pkgver-manual.pdf::https://verifpal.com/res/pdf/manual.pdf" "$pkgname-$pkgver-manual-license.txt::https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode.txt") sha256sums=('c79ad450dd28429f4ef20020e063aa8f333433f92f3d148332cd8a5363d0368d' - '767d202fe82323a25ac2cd72bb91261c681df05633aa0e79b09ef6b5603e43de' + 'c7fa06540e3414b5254a74da2b555dbf226a8e09ed11a1085baa00fc808d00a3' '38762e3777f4ec00a6f769062a7c3f704fb78ce08303ecff88558da4c49cf9ea') prepare(){ |