.SRCINFO


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.0
	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.0/apalache-0.47.0.tgz
	source = sys-install.patch
	source = apalache.service
	sha256sums = ebcf51df055ee145ff46e41d7d6eee347386a11533a8a9f80b3f9fcf8f6a1508
	sha256sums = c88201e1adeb5b50cfadfd55d071dedef8b3199cb1fcd5b5f008e5240be2f08d
	sha256sums = 635ac8ddb7150d4d3437471cbdf5f72bf5e9d11a1039adec84e04c78ee1a39c9

pkgname = apalache-bin