Bug#1073242: Update 'z3' to latest version - 4.13.0.

[Phil Wyett]

Package: z3
Severity: important

Dear Maintainer,

Please kindly update z3 to the latest upstream version 4.13.0 if possible from
current that is 4.8.12.

Regards

Phil

-- 

Website: https://kathenas.org

Instagram: https://instagram.com/kathenasorg/

Buy Me A Coffee: https://buymeacoffee.com/kathenasorg
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 870 bytes
Desc: This is a digitally signed message part
URL: <http://alioth-lists.debian.net/pipermail/pkg-llvm-team/attachments/20240615/dd79659e/attachment.sig>