diff options
| author | rnbguy | 2023-04-11 16:23:40 +0000 |
|---|---|---|
| committer | rnbguy | 2023-04-11 16:23:40 +0000 |
| commit | 0f4fa01d156048a97b8a6d45919342056c1ce053 (patch) | |
| tree | 0c9ac0751190227be898d3ab8d6019d321beef3f | |
| parent | be87340b7bdd336b9b4d79c70f6a08369e085e4f (diff) | |
| download | aur-0f4fa01d156048a97b8a6d45919342056c1ce053.tar.gz | |
0.30.7
| -rw-r--r-- | .SRCINFO | 6 | ||||
| -rw-r--r-- | PKGBUILD | 4 |
2 files changed, 5 insertions, 5 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 @@ -2,7 +2,7 @@ _pkgname=apalache pkgname=$_pkgname-bin -pkgver=0.30.6 +pkgver=0.30.7 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=('bd867aae906839d93267feb87b996dad6a406040c9969fe2ac6748125587fe1c' +sha256sums=('bc2ba6cf3eb0154947849be79bbae73acc0c285f9588ab394ac65a09a42e2bf9' 'c88201e1adeb5b50cfadfd55d071dedef8b3199cb1fcd5b5f008e5240be2f08d') prepare() { |