v0.9.1

2 files changed, 6 insertions, 7 deletions

diff --git a/.SRCINFO b/.SRCINFO
index eaa1a8fec4d2..98f7ccfb8824 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,16 +1,15 @@
 pkgbase = quint
 	pkgdesc = Quint is an executable specification language with design and tooling focused on usability. It is based on the Temporal Logic of Actions
-	pkgver = 0.9.0
+	pkgver = 0.9.1
 	pkgrel = 1
 	url = https://github.com/informalsystems/quint
 	arch = any
 	license = Apache
 	makedepends = npm
-	makedepends = git
 	depends = nodejs
 	provides = quint
 	conflicts = quint
-	source = https://github.com/informalsystems/quint/archive/refs/tags/v0.9.0.tar.gz
-	sha256sums = c9b3a077e43bf8959ba26c1498fdb5d5e9caa7fefcd6ba2b157579858cf57bba
+	source = https://github.com/informalsystems/quint/archive/refs/tags/v0.9.1.tar.gz
+	sha256sums = 1cf226160452dcacbc2dd8e0cff92ce8eb13a7d4f1eabfc33332a4c508bf6951
 
 pkgname = quint
diff --git a/PKGBUILD b/PKGBUILD
index 9e44ad862107..fc2d1b2b45e9 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
 
 pkgname=quint
 orgname=informalsystems
-pkgver=0.9.0
+pkgver=0.9.1
 pkgrel=1
 pkgdesc="Quint is an executable specification language with design and tooling focused on usability. It is based on the Temporal Logic of Actions"
 arch=('any')
@@ -11,9 +11,9 @@ license=('Apache')
 provides=(${pkgname})
 conflicts=(${pkgname})
 depends=('nodejs')
-makedepends=('npm' 'git')
+makedepends=('npm')
 source=("https://github.com/${orgname}/${pkgname}/archive/refs/tags/v${pkgver}.tar.gz")
-sha256sums=('c9b3a077e43bf8959ba26c1498fdb5d5e9caa7fefcd6ba2b157579858cf57bba')
+sha256sums=('1cf226160452dcacbc2dd8e0cff92ce8eb13a7d4f1eabfc33332a4c508bf6951')
 
 prepare() {
     cd "${srcdir}/${pkgname}-${pkgver}/${pkgname}"