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 /PKGBUILD | |
parent | 307a093f7869c171a10d0f6f453410e40cd5f667 (diff) | |
download | aur-b0b7f73592eb6923ce91ec459c0cabd083a26f49.tar.gz |
Fix makedepends
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -2,14 +2,14 @@ _name=rumur pkgname="$_name-git" -pkgver=2019.03.11.r11.g9626824 +pkgver=2019.03.11.r17.g7e9addb pkgrel=1 pkgdesc="Yet another Murphi model checker" arch=('x86_64') url="https://github.com/Smattr/rumur" license=('custom') depends=('gmp') -makedepends=('git' 'cmake' 'bison' 'flex' 'bison' 'flex') +makedepends=('git' 'cmake' 'bison>=3.3.2' 'flex' 'python') provides=("$_name") conflicts=("$_name") source=("git+https://github.com/Smattr/$_name.git") |