fc6144
Update z3 to version 4.8.15 / rev 31 via SR 970659 https://build.opensuse.org/request/show/970659 by user jirislaby + dimstar_suse