diff options
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 11 |
1 files changed, 5 insertions, 6 deletions
@@ -1,6 +1,6 @@ pkgbase = ikos-git pkgdesc = Static analyzer for C and C++ developed by NASA - pkgver = 3.0.r409.72c70c7 + pkgver = 3.1.r436.2e64743 pkgrel = 1 url = https://github.com/nasa-sw-vnv/ikos arch = i686 @@ -17,13 +17,12 @@ pkgbase = ikos-git depends = python-pygments depends = sqlite depends = intel-tbb - depends = llvm - depends = llvm-libs - depends = clang + depends = llvm14 + depends = llvm14-libs + depends = clang14 depends = apron provides = ikos - source = ikos-git::git://github.com/nasa-sw-vnv/ikos.git + source = ikos-git::git+http://github.com/nasa-sw-vnv/ikos.git sha256sums = SKIP pkgname = ikos-git - |