diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -2,14 +2,15 @@ _name=rumur pkgname="$_name-git" -pkgver=2019.03.11.r17.g7e9addb +pkgver=2019.06.30.r2.g53f20cc pkgrel=1 pkgdesc="Yet another Murphi model checker" arch=('x86_64') url="https://github.com/Smattr/rumur" -license=('custom') +license=('custom:UNLICENSE') depends=('gmp') makedepends=('git' 'cmake' 'bison>=3.3.2' 'flex' 'python') +checkdepends=('valgrind') provides=("$_name") conflicts=("$_name") source=("git+https://github.com/Smattr/$_name.git") |