K 10
svn:author
V 4
yuri
K 8
svn:date
V 27
2019-04-10T16:20:54.993785Z
K 7
svn:log
V 96
devel/ikos: Update comment about supported llvm versions and LLVM_DEFAULT

Requested by:	jbeich

END