diff options
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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 |