summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorSascha Wunderlich2019-08-28 15:36:57 +0200
committerSascha Wunderlich2019-08-28 15:36:57 +0200
commit28b67a1c4be3a7704d8ff62ca94defdc294e2ab6 (patch)
tree1c1bc585c16d9ea5fa00cb2a9c2151f39c739542
parent01fb46397a541aa4815836117ea5f7f26b877a6b (diff)
downloadaur-28b67a1c4be3a7704d8ff62ca94defdc294e2ab6.tar.gz
Fix carl pkg name
-rw-r--r--.SRCINFO2
1 files changed, 1 insertions, 1 deletions
diff --git a/.SRCINFO b/.SRCINFO
index cebfaf2e50aa..3e0b23008aaf 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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