summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
Diffstat (limited to '.SRCINFO')
-rw-r--r--.SRCINFO3
1 files changed, 2 insertions, 1 deletions
diff --git a/.SRCINFO b/.SRCINFO
index d6076e5a4098..ead281eb7505 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
pkgbase = ikos-git
pkgdesc = Static analyzer for C and C++ developed by NASA
- pkgver = 2.1.r237.bf4ac4a
+ pkgver = 3.0.r409.72c70c7
pkgrel = 1
url = https://github.com/nasa-sw-vnv/ikos
arch = i686
@@ -16,6 +16,7 @@ pkgbase = ikos-git
depends = python
depends = python-pygments
depends = sqlite
+ depends = intel-tbb
depends = llvm
depends = llvm-libs
depends = clang