diff options
author | Sascha Wunderlich | 2019-01-25 08:32:45 +0100 |
---|---|---|
committer | Sascha Wunderlich | 2019-01-25 08:32:45 +0100 |
commit | 179869df3392c97d1ed175ec00d2b2a68b437b3f (patch) | |
tree | 1b7acc794d72bf8b69f597d5763580341dd3d4dd | |
parent | 186ad0e86a8619ae9557af50d88073019488cca4 (diff) | |
download | aur-prismmodelchecker-git.tar.gz |
Fix dependencies
-rw-r--r-- | .SRCINFO | 4 | ||||
-rw-r--r-- | PKGBUILD | 6 |
2 files changed, 5 insertions, 5 deletions
@@ -1,13 +1,13 @@ pkgbase = prismmodelchecker-git pkgdesc = PRISM is a probabilistic model checker, a tool for formal modelling and analysis of systems that exhibit random or probabilistic behaviour - pkgver = r3365.a8999396 + pkgver = r3619.06bba360 pkgrel = 1 url = http://www.prismmodelchecker.org/ arch = i686 arch = x86_64 license = GPL2 + makedepends = git depends = java-environment - depends = python provides = prismmodelchecker conflicts = prismmodelchecker source = prismmodelchecker-git::git+https://github.com/prismmodelchecker/prism.git @@ -1,6 +1,6 @@ # Maintainer: Sascha Wunderlich <archlinux at saschawunderlich dot de> pkgname=prismmodelchecker-git -pkgver=r3365.a8999396 +pkgver=r3619.06bba360 pkgrel=1 pkgdesc="PRISM is a probabilistic model checker, a tool for formal modelling and analysis of systems that exhibit random or probabilistic behaviour" arch=(i686 x86_64) @@ -9,8 +9,8 @@ license=('GPL2') groups=() conflicts=('prismmodelchecker') provides=('prismmodelchecker') -depends=(java-environment python) -makedepends=() +depends=(java-environment) +makedepends=(git) source=("prismmodelchecker-git::git+https://github.com/prismmodelchecker/prism.git") md5sums=('SKIP') |