diff options
author | Qirui Wang | 2019-03-20 14:02:18 -0400 |
---|---|---|
committer | Qirui Wang | 2019-03-20 14:02:18 -0400 |
commit | b0b7f73592eb6923ce91ec459c0cabd083a26f49 (patch) | |
tree | 6a1892a02c91d1d338f04e7b2af37a66251d1be6 /.SRCINFO | |
parent | 307a093f7869c171a10d0f6f453410e40cd5f667 (diff) | |
download | aur-b0b7f73592eb6923ce91ec459c0cabd083a26f49.tar.gz |
Fix makedepends
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 7 |
1 files changed, 3 insertions, 4 deletions
@@ -1,16 +1,15 @@ pkgbase = rumur-git pkgdesc = Yet another Murphi model checker - pkgver = 2019.03.11.r11.g9626824 + pkgver = 2019.03.11.r17.g7e9addb pkgrel = 1 url = https://github.com/Smattr/rumur arch = x86_64 license = custom makedepends = git makedepends = cmake - makedepends = bison - makedepends = flex - makedepends = bison + makedepends = bison>=3.3.2 makedepends = flex + makedepends = python depends = gmp provides = rumur conflicts = rumur |