59d799
Update libminizinc to version 2.8.5 / rev 6 via SR 1200255 https://build.opensuse.org/request/show/1200255 by user Dmitry_R + anag+factory