diff options
author | Qirui Wang | 2019-11-11 23:00:33 +0800 |
---|---|---|
committer | Qirui Wang | 2019-11-11 23:00:33 +0800 |
commit | a09de0fdb98ce5d3263b0a2cb61855056b1453a1 (patch) | |
tree | 9440c6f3ebc931aa9dff20af5c4128149d392895 /.SRCINFO | |
parent | 67d891bd02c9359eec606c347bb2613ccdce0be1 (diff) | |
download | aur-a09de0fdb98ce5d3263b0a2cb61855056b1453a1.tar.gz |
Add SMT solvers dependencies
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -1,17 +1,20 @@ pkgbase = rumur-git pkgdesc = Yet another Murphi model checker - pkgver = 2019.06.30.r2.g53f20cc + 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 - makedepends = python 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 |