diff options
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 7 |
1 files changed, 3 insertions, 4 deletions
@@ -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 |