0.30.1

2 files changed, 5 insertions, 5 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 0872bbf7b21a..fc7b4c134643 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
 pkgbase = apalache-bin
 	pkgdesc = A symbolic model checker for TLA+
-	pkgver = 0.30.0
+	pkgver = 0.30.1
 	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.30.0/apalache-0.30.0.tgz
+	source = https://github.com/informalsystems/apalache/releases/download/v0.30.1/apalache-0.30.1.tgz
 	source = sys-install.patch
-	sha256sums = 71c896eb1deb7a9c2b84a24c4e5092a60f72d476f9aaedf2ef8f5dfe26a81ba1
+	sha256sums = e0d8be1da477bb278f01d92217c97e9de746e22b50eba553fcda92042e8b90b1
 	sha256sums = c88201e1adeb5b50cfadfd55d071dedef8b3199cb1fcd5b5f008e5240be2f08d
 
 pkgname = apalache-bin
diff --git a/PKGBUILD b/PKGBUILD
index ce8941afb397..c00ebbf52d68 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
 
 _pkgname=apalache
 pkgname=$_pkgname-bin
-pkgver=0.30.0
+pkgver=0.30.1
 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=('71c896eb1deb7a9c2b84a24c4e5092a60f72d476f9aaedf2ef8f5dfe26a81ba1'
+sha256sums=('e0d8be1da477bb278f01d92217c97e9de746e22b50eba553fcda92042e8b90b1'
             'c88201e1adeb5b50cfadfd55d071dedef8b3199cb1fcd5b5f008e5240be2f08d')
 
 prepare() {