diff options
author | Qirui Wang | 2019-06-30 20:36:26 -0400 |
---|---|---|
committer | Qirui Wang | 2019-06-30 20:36:26 -0400 |
commit | 67d891bd02c9359eec606c347bb2613ccdce0be1 (patch) | |
tree | 84ca85dd30f06de993279d64f40441f9cd9a4862 /.SRCINFO | |
parent | b0b7f73592eb6923ce91ec459c0cabd083a26f49 (diff) | |
download | aur-67d891bd02c9359eec606c347bb2613ccdce0be1.tar.gz |
Add valgrind to checkdepends
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -1,10 +1,11 @@ pkgbase = rumur-git pkgdesc = Yet another Murphi model checker - pkgver = 2019.03.11.r17.g7e9addb + pkgver = 2019.06.30.r2.g53f20cc pkgrel = 1 url = https://github.com/Smattr/rumur arch = x86_64 - license = custom + license = custom:UNLICENSE + checkdepends = valgrind makedepends = git makedepends = cmake makedepends = bison>=3.3.2 |