diff options
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -1,6 +1,6 @@ pkgbase = apalache-bin pkgdesc = A symbolic model checker for TLA+ - pkgver = 0.30.6 + pkgver = 0.30.7 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.6/apalache-0.30.6.tgz + source = https://github.com/informalsystems/apalache/releases/download/v0.30.7/apalache-0.30.7.tgz source = sys-install.patch - sha256sums = bd867aae906839d93267feb87b996dad6a406040c9969fe2ac6748125587fe1c + sha256sums = bc2ba6cf3eb0154947849be79bbae73acc0c285f9588ab394ac65a09a42e2bf9 sha256sums = c88201e1adeb5b50cfadfd55d071dedef8b3199cb1fcd5b5f008e5240be2f08d pkgname = apalache-bin |