summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.SRCINFO4
-rw-r--r--PKGBUILD6
2 files changed, 5 insertions, 5 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 3b5b8558f43a..d376436e413f 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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
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')