blob: d16c4cc9f04be217925479e92f09ca06194749b4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
pkgbase = stormchecker
pkgdesc = Storm is a tool for the analysis of systems involving random or probabilistic phenomena
pkgver = 1.1.0
pkgrel = 1
url = http://www.stormchecker.org/
arch = i686
arch = x86_64
license = GPL3
makedepends = cmake
depends = glpk
depends = hwloc
depends = xerces-c
depends = z3
depends = carl
provides = stormchecker
conflicts = stormchecker
source = https://github.com/moves-rwth/storm/archive/1.1.0.tar.gz
md5sums = b85a8162197abca05e76c0cb9475ce1f
pkgname = stormchecker
|