Package Details: ikos-git 3.0.r409.72c70c7-1

Git Clone URL: (read-only, click to copy)
Package Base: ikos-git
Description: Static analyzer for C and C++ developed by NASA
Upstream URL:
Licenses: custom:NOSA 1.3
Provides: ikos
Submitter: arthaud
Maintainer: arthaud
Last Packager: arthaud
Votes: 1
Popularity: 0.000000
First Submitted: 2019-06-12 17:21 (UTC)
Last Updated: 2019-12-17 02:17 (UTC)

Latest Comments

fenuks commented on 2021-01-23 00:55 (UTC)

It doesn't compile, since ikos in at the moment only compatible with LLVM=9. PKGBUILD should reflect that, could you pin dependency to right version?