Index | Thread | Search

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

Download raw body.

Thread 
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