K 10
svn:author
V 4
yuri
K 8
svn:date
V 27
2018-12-14T17:34:01.946669Z
K 7
svn:log
V 91
New port: devel/ikos: Static analyzer for C/C++ based on theory of abstract interpretation

END