0.25.6

2 files changed, 5 insertions, 5 deletions

diff --git a/.SRCINFO b/.SRCINFO
index c7e1545630f6..467ff5821484 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
 pkgbase = apalache-bin
 	pkgdesc = A symbolic model checker for TLA+
-	pkgver = 0.25.5
+	pkgver = 0.25.6
 	pkgrel = 1
 	url = https://apalache.informal.systems/
 	arch = any
@@ -12,9 +12,9 @@ pkgbase = apalache-bin
 	depends = util-linux
 	provides = apalache
 	conflicts = apalache
-	source = https://github.com/informalsystems/apalache/releases/download/v0.25.5/apalache-0.25.5.tgz
+	source = https://github.com/informalsystems/apalache/releases/download/v0.25.6/apalache-0.25.6.tgz
 	source = sys-install.patch
-	sha256sums = 46ce40c12983f6afdda8b44c80a47258194f551bf5ce30ac44aa0688145981e4
+	sha256sums = e86ee5aa3cb24ff1bdfc0319958543be43838bfc5a98074d0e55dcc1361175f7
 	sha256sums = c88201e1adeb5b50cfadfd55d071dedef8b3199cb1fcd5b5f008e5240be2f08d
 
 pkgname = apalache-bin
diff --git a/PKGBUILD b/PKGBUILD
index ab33f6b5b56a..1461b5faa2e0 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
 
 _pkgname=apalache
 pkgname=$_pkgname-bin
-pkgver=0.25.5
+pkgver=0.25.6
 pkgrel=1
 pkgdesc="A symbolic model checker for TLA+"
 arch=('any')
@@ -17,7 +17,7 @@ depends=('java-runtime>=11'
 makedepends=('patch')
 source=("https://github.com/informalsystems/${_pkgname}/releases/download/v${pkgver}/${_pkgname}-${pkgver}.tgz"
         'sys-install.patch')
-sha256sums=('46ce40c12983f6afdda8b44c80a47258194f551bf5ce30ac44aa0688145981e4'
+sha256sums=('e86ee5aa3cb24ff1bdfc0319958543be43838bfc5a98074d0e55dcc1361175f7'
             'c88201e1adeb5b50cfadfd55d071dedef8b3199cb1fcd5b5f008e5240be2f08d')
 
 prepare() {