blob: 01976234e522e41c9cb39119269566c10217e6b7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
pkgbase = apalache-bin
pkgdesc = A symbolic model checker for TLA+
pkgver = 0.47.2
pkgrel = 1
url = https://apalache-mc.org
arch = any
license = Apache
makedepends = patch
depends = java-runtime>=11
depends = findutils
depends = coreutils
depends = util-linux
provides = apalache
conflicts = apalache
source = https://github.com/apalache-mc/apalache/releases/download/v0.47.2/apalache-0.47.2.tgz
source = sys-install.patch
source = apalache.service
sha256sums = de2e8ae4cbb38d74bd329cb77e6433289f2a149d1e6d2cbc51055a8ca80b2fb4
sha256sums = 336d6c70ce596c7f87a3aefb3a20836fea35caec36225fb65a56f8780a6b5bee
sha256sums = 635ac8ddb7150d4d3437471cbdf5f72bf5e9d11a1039adec84e04c78ee1a39c9
pkgname = apalache-bin
|