Remove libz3-4 from Linux dependencies (is now bundled with nitrile)
What does this MR do?
Removes libz3-4 from the list of required Linux packages. After nitrile!124 (merged), the shared library is included in the package.
Changes to public APIs
None.
Author's checklist (required)
-
Newly added code is documented (guidelines) -
Newly added code has a style consistent with the rest of the repository -
Intermediate commits compile (use git rebase -i main
if not)