diff options
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -1,6 +1,6 @@ pkgbase = stormchecker pkgdesc = Storm is a tool for the analysis of systems involving random or probabilistic phenomena - pkgver = 1.1.0 + pkgver = 1.3.0 pkgrel = 1 url = http://www.stormchecker.org/ arch = i686 @@ -11,11 +11,11 @@ pkgbase = stormchecker depends = hwloc depends = xerces-c depends = z3 - depends = carl + depends = carl-master14 provides = stormchecker conflicts = stormchecker - source = https://github.com/moves-rwth/storm/archive/1.1.0.tar.gz - md5sums = b85a8162197abca05e76c0cb9475ce1f + source = https://github.com/moves-rwth/storm/archive/1.3.0.tar.gz + md5sums = 894ae6d2addff46380bf640f61bbf92c pkgname = stormchecker |