diff options
| author | rnbguy | 2025-02-19 16:39:39 +0000 |
|---|---|---|
| committer | rnbguy | 2025-02-19 16:39:39 +0000 |
| commit | 73da381495956630751465871c098d5f16bc0ddb (patch) | |
| tree | d316b91907673497d808b7a6d185cd32a6d6e8fa /.SRCINFO | |
| parent | 8726d57778f8f9c68c2c8502ceaffdda23a51234 (diff) | |
| download | aur-73da381495956630751465871c098d5f16bc0ddb.tar.gz | |
0.23.0
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -1,14 +1,14 @@ pkgbase = quint-bin pkgdesc = An executable specification language with delightful tooling based on the temporal logic of actions (TLA) - pkgver = 0.22.4 - pkgrel = 2 + pkgver = 0.23.0 + pkgrel = 1 url = https://github.com/informalsystems/quint arch = any license = Apache makedepends = deno>=2.1.10 provides = quint conflicts = quint - source = https://github.com/informalsystems/quint/raw/v0.22.4/LICENSE + source = https://github.com/informalsystems/quint/raw/v0.23.0/LICENSE sha256sums = 0f8c4f9a99d4861ee62ade9a9526d09570844bdeab3e6bca500383d5ae7d9495 pkgname = quint-bin |