blob: fc7b4c1346432055cdb1bd05415f9c2b2cd5d1de (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
pkgbase = apalache-bin
pkgdesc = A symbolic model checker for TLA+
pkgver = 0.30.1
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.1/apalache-0.30.1.tgz
source = sys-install.patch
sha256sums = e0d8be1da477bb278f01d92217c97e9de746e22b50eba553fcda92042e8b90b1
sha256sums = c88201e1adeb5b50cfadfd55d071dedef8b3199cb1fcd5b5f008e5240be2f08d
pkgname = apalache-bin
|