From: Klemens Nanni <kn@openbsd.org>
Subject: Re: math/z3: update to 4.13.4 from maintainer
To: ports@openbsd.org
Date: Tue, 17 Dec 2024 18:58:26 +0000

17.12.2024 18:02, Kirill A. Korinsky пишет:
> I'd like to update math/z3 to 4.13.4.

OK kn