summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD5
1 files changed, 3 insertions, 2 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 4f44908d8ca9..2b1b06aa19c8 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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")