diff options
author | Sascha Wunderlich | 2019-08-28 15:36:57 +0200 |
---|---|---|
committer | Sascha Wunderlich | 2019-08-28 15:36:57 +0200 |
commit | 28b67a1c4be3a7704d8ff62ca94defdc294e2ab6 (patch) | |
tree | 1c1bc585c16d9ea5fa00cb2a9c2151f39c739542 | |
parent | 01fb46397a541aa4815836117ea5f7f26b877a6b (diff) | |
download | aur-28b67a1c4be3a7704d8ff62ca94defdc294e2ab6.tar.gz |
Fix carl pkg name
-rw-r--r-- | .SRCINFO | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -11,7 +11,7 @@ pkgbase = stormchecker depends = hwloc depends = xerces-c depends = z3 - depends = carl-master14 + depends = carl-master14-git provides = stormchecker conflicts = stormchecker source = https://github.com/moves-rwth/storm/archive/1.3.0.tar.gz |