diff options
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -1,13 +1,13 @@ pkgbase = verifpal pkgdesc = Cryptographic protocol analysis for students and engineers. - pkgver = 0.25.0 + pkgver = 0.26.0 pkgrel = 1 url = https://verifpal.com/ arch = x86_64 license = GPL3 makedepends = go depends = glibc - source = https://source.symbolic.software/verifpal/verifpal/-/archive/v0.25.0/verifpal-v0.25.0.tar.bz2 - sha256sums = 46109a6e9f7e2e25ac594542f0ce79aecce1704cd9874a5fe7e8cb5f4df5783e + source = https://source.symbolic.software/verifpal/verifpal/-/archive/v0.26.0/verifpal-v0.26.0.tar.bz2 + sha256sums = 4b0bc1f1e56fd7d9583b43a915ac45a554519d4030786cfd058e8972013f4589 pkgname = verifpal |