diff options
| author | Sascha Wunderlich | 2019-08-28 15:36:24 +0200 |
|---|---|---|
| committer | Sascha Wunderlich | 2019-08-28 15:36:24 +0200 |
| commit | 01fb46397a541aa4815836117ea5f7f26b877a6b (patch) | |
| tree | f9cd7fe43975dd89ea25846f71a104fe27f6c97f | |
| parent | debb1eb2295f84004e08b54e50dc795eb461e3b3 (diff) | |
| download | aur-01fb46397a541aa4815836117ea5f7f26b877a6b.tar.gz | |
Fix carl pkg name
| -rw-r--r-- | PKGBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -12,7 +12,7 @@ provides=('stormchecker') # TODO: mathsat? # TODO: sylvan is always shipped at the moment # TODO: carl hides some dependencies here -depends=(glpk hwloc xerces-c z3 carl-master14) +depends=(glpk hwloc xerces-c z3 carl-master14-git) makedepends=(cmake) source=("https://github.com/moves-rwth/storm/archive/$pkgver.tar.gz") md5sums=('894ae6d2addff46380bf640f61bbf92c') |