New Upstream Release - coinor-symphony

Merged new upstream version: 5.6.17 (was: 5.6.16+repack1).

More details

Full run details

A new upstream version is available: 5.6.17