pkgbase = ikos pkgdesc = Static analyzer for C and C++ developed by NASA pkgver = 3.5 pkgrel = 1 url = https://github.com/nasa-sw-vnv/ikos arch = i686 arch = x86_64 arch = armv7h arch = armv6h arch = aarch64 license = custom:NOSA 1.3 makedepends = cmake makedepends = boost makedepends = llvm14 depends = gmp depends = boost-libs depends = python depends = python-pygments depends = sqlite depends = intel-tbb depends = llvm14 depends = llvm14-libs depends = clang14 depends = ppl source = ikos-3.5.tar.gz::https://github.com/NASA-SW-VnV/ikos/archive/refs/tags/v3.5.tar.gz b2sums = 7af9fd5fe20d7ef86f9a550b542a59db4ada853c7a192b508067c17c4d3127b2a7594b1e03888085cbf941d7a35ea5a663eb8b3efc9e1f2026a8530340d9c324 pkgname = ikos