Re: math/z3: update to 3.14.0 from maintainer

[Klemens Nanni]

19.02.2025 13:25, Kirill A. Korinsky пишет:
> I'd like to update math/z3 to 3.14.0
> 
> Changes: https://github.com/Z3Prover/z3/releases/tag/z3-4.14.0
> 
> Tested on -current/amd64.

OK kn