Skip to content

Remove libz3-4 from Linux dependencies (is now bundled with nitrile)

Camil Staps requested to merge remove-libz3-dependency into main

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)

Related issues

Merge request reports