OpenBSD Mail Box
BTC:1BsNfN6m7xtT4PqDb9jJHnDDFBb38zS9Yi
Tuesday, September 03, 2024
Re: [update] math/z3: update to 4.13.0
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.
No comments:
Post a Comment
‹
›
Home
View web version
No comments:
Post a Comment