devel/ikos: Update 2.1 -> 2.1-49
- Shared libraries are now available
- Fixes for some crashes are included
Description
Description
Details
Details
- Provenance
yuri Authored on - Parents
- rP489650: misc/pubs: Update 0.8.1 -> 0.8.2
- Branches
- Unknown
- Tags
devel/ikos: Update 2.1 -> 2.1-49 Tags None Referenced Files None Subscribers None |