CVE-2020-19725 affecting package z3 for versions less than 4.13.3-1

CVE-2020-19725 affecting package z3 for versions less than 4.13.3-1. An upgraded version of the package is available that resolves this issue...