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