Control: severity -1 important Control: tags -1 + forky The z3 package still uses the pkg_resources module. Raising the severity of this issue. At the end of the year 2025, raising the severity again to serious. If the package is a namespace package, then please lower the severity again to normal.