blob: d376436e413ff100a87617a1dd82479679d4076e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
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 = r3619.06bba360
pkgrel = 1
url = http://www.prismmodelchecker.org/
arch = i686
arch = x86_64
license = GPL2
makedepends = git
depends = java-environment
provides = prismmodelchecker
conflicts = prismmodelchecker
source = prismmodelchecker-git::git+https://github.com/prismmodelchecker/prism.git
md5sums = SKIP
pkgname = prismmodelchecker-git
|