e10b25
Update Coin to version 3.1.3 / rev 6 via SR 856936 https://build.opensuse.org/request/show/856936 by user StefanBruens + dimstar_suse