blob: 6900a523ff1d169a8602672804b6ec3c3d1626a4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
pkgbase = rumur-git
pkgdesc = Yet another Murphi model checker
pkgver = 2019.11.09.r4.gc04d79d
pkgrel = 1
url = https://github.com/Smattr/rumur
arch = x86_64
license = custom:UNLICENSE
checkdepends = valgrind
checkdepends = z3
makedepends = git
makedepends = cmake
makedepends = bison>=3.3.2
makedepends = flex
depends = gmp
depends = python
optdepends = z3: Preferred SMT solver
optdepends = cvc4: Alternative SMT solver
provides = rumur
conflicts = rumur
source = git+https://github.com/Smattr/rumur.git
sha256sums = SKIP
pkgname = rumur-git
|