0.44.3

2 files changed, 5 insertions, 5 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 12066bf7d959..1d90b62a833b 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
 pkgbase = apalache-bin
 	pkgdesc = A symbolic model checker for TLA+
-	pkgver = 0.44.2
+	pkgver = 0.44.3
 	pkgrel = 1
 	url = https://apalache.informal.systems/
 	arch = any
@@ -12,10 +12,10 @@ pkgbase = apalache-bin
 	depends = util-linux
 	provides = apalache
 	conflicts = apalache
-	source = https://github.com/informalsystems/apalache/releases/download/v0.44.2/apalache-0.44.2.tgz
+	source = https://github.com/informalsystems/apalache/releases/download/v0.44.3/apalache-0.44.3.tgz
 	source = sys-install.patch
 	source = apalache.service
-	sha256sums = d76af654963a7b3d1136074c02ea7d261631a53857fa1ce63caef072c0a1dbe9
+	sha256sums = 7a93db8d1429b668e2b1ef20c6a882acfbb78ae6509ddb6a74e6d28377d01d60
 	sha256sums = c88201e1adeb5b50cfadfd55d071dedef8b3199cb1fcd5b5f008e5240be2f08d
 	sha256sums = 635ac8ddb7150d4d3437471cbdf5f72bf5e9d11a1039adec84e04c78ee1a39c9
 
diff --git a/PKGBUILD b/PKGBUILD
index 47c7b3a478f2..ec325e95ddad 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
 
 _pkgname=apalache
 pkgname=$_pkgname-bin
-pkgver=0.44.2
+pkgver=0.44.3
 pkgrel=1
 pkgdesc="A symbolic model checker for TLA+"
 arch=('any')
@@ -18,7 +18,7 @@ makedepends=('patch')
 source=("https://github.com/informalsystems/${_pkgname}/releases/download/v${pkgver}/${_pkgname}-${pkgver}.tgz"
         'sys-install.patch'
         'apalache.service')
-sha256sums=('d76af654963a7b3d1136074c02ea7d261631a53857fa1ce63caef072c0a1dbe9'
+sha256sums=('7a93db8d1429b668e2b1ef20c6a882acfbb78ae6509ddb6a74e6d28377d01d60'
             'c88201e1adeb5b50cfadfd55d071dedef8b3199cb1fcd5b5f008e5240be2f08d'
             '635ac8ddb7150d4d3437471cbdf5f72bf5e9d11a1039adec84e04c78ee1a39c9')