From: Klemens Nanni <kn@openbsd.org>
Subject: Re: math/z3: update to 4.14.1 from maintainer
To: ports@openbsd.org
Date: Sat, 22 Mar 2025 12:42:23 +0000

13.03.2025 02:32, Kirill A. Korinsky пишет:
> I'd like to update math/z3 to 4.14.1
> 
> Tested on -current/amd64

OK kn