HomeFreeBSD

devel/ikos: Update 2.1-82 -> 2.1-104

Description

devel/ikos: Update 2.1-82 -> 2.1-104

Details

Provenance
yuriAuthored on
Parents
rP493828: Add USES=compiler:c++11-lang to fix build on GCC-based architectures.
Branches
Unknown
Tags
Unknown