summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
Diffstat (limited to '.SRCINFO')
-rw-r--r--.SRCINFO14
1 files changed, 7 insertions, 7 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 1574b5598361..1c4d4351d097 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,17 +1,17 @@
pkgbase = verifpal
pkgdesc = Cryptographic protocol analysis for real-world protocols.
- pkgver = 0.27.0
- pkgrel = 2
+ pkgver = 0.27.2
+ pkgrel = 1
url = https://verifpal.com
arch = x86_64
license = GPL3
license = custom:cc-by-nc-nd-4.0
makedepends = go
- source = https://source.symbolic.software/verifpal/verifpal/-/archive/v0.27.0/verifpal-v0.27.0.tar.bz2
- source = verifpal-0.27.0-manual.pdf::https://verifpal.com/res/pdf/manual.pdf
- source = verifpal-0.27.0-manual-license::https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode.txt
- sha256sums = a1a024e271c9364f3076278c2fc3fd0da93b9d5cd75468691d86787fbd61e8c0
- sha256sums = 13154a262636c1dabf8427e282233f9f642681e518a02241152c723a6de657ab
+ source = https://github.com/symbolicsoft/verifpal/archive/refs/tags/v0.27.2.tar.gz
+ source = verifpal-0.27.2-manual.pdf::https://verifpal.com/res/pdf/manual.pdf
+ source = verifpal-0.27.2-manual-license.txt::https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode.txt
+ sha256sums = c79ad450dd28429f4ef20020e063aa8f333433f92f3d148332cd8a5363d0368d
+ sha256sums = 767d202fe82323a25ac2cd72bb91261c681df05633aa0e79b09ef6b5603e43de
sha256sums = 38762e3777f4ec00a6f769062a7c3f704fb78ce08303ecff88558da4c49cf9ea
pkgname = verifpal