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
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment