.SRCINFO


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

pkgbase = stormchecker-git
	pkgdesc = Storm is a tool for the analysis of systems involving random or probabilistic phenomena
	pkgver = 1.3.0.r380.g28f8c9d82
	pkgrel = 1
	url = http://www.stormchecker.org/
	arch = i686
	arch = x86_64
	license = GPL3
	makedepends = git
	makedepends = cmake
	depends = glpk
	depends = hwloc
	depends = xerces-c
	depends = z3
	depends = carl-master14-git
	provides = stormchecker
	conflicts = stormchecker
	source = stormchecker-git::git+https://github.com/moves-rwth/storm.git
	md5sums = SKIP

pkgname = stormchecker-git