Index | Thread | Search

From:
Klemens Nanni <kn@openbsd.org>
Subject:
Re: [update] math/z3: update to 4.13.0
To:
OpenBSD ports <ports@openbsd.org>
Date:
Tue, 3 Sep 2024 17:49:04 +0000

Download raw body.

Thread 
03.09.2024 19:07, Kirill A. Korinsky пишет:
> Here an updated diff where I've backported patch from upstream which fixed
> crash on OpenBSD as side effect.

Thanks, committed.