Index | Thread | Search

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

Download raw body.

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

OK kn