pkgbase = apalache-bin
	pkgdesc = A symbolic model checker for TLA+
	pkgver = 0.30.9
	pkgrel = 1
	url = https://apalache.informal.systems/
	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/informalsystems/apalache/releases/download/v0.30.9/apalache-0.30.9.tgz
	source = sys-install.patch
	sha256sums = 69b793984a8d195c4433503dda38eab9750193abb27bd44d47ab597cf209a2ef
	sha256sums = c88201e1adeb5b50cfadfd55d071dedef8b3199cb1fcd5b5f008e5240be2f08d

pkgname = apalache-bin