Date: Wed, 29 Jul 2026 19:04:31 +0000 From: bugzilla-noreply@freebsd.org To: ports-bugs@FreeBSD.org Subject: [Bug 297107] math/py-z3-solver: Update to 5.0.0.0 Message-ID: <bug-297107-7788-Lvs1x3942C@https.bugs.freebsd.org/bugzilla/> In-Reply-To: <bug-297107-7788@https.bugs.freebsd.org/bugzilla/>
index | next in thread | previous in thread | raw e-mail
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=297107 Bug 297107 depends on bug 297106, which changed state. Bug 297106 Summary: math/z3: Update to 5.0.0 https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=297106 What |Removed |Added ---------------------------------------------------------------------------- Status|New |Closed Resolution|--- |FIXED -- You are receiving this mail because: You are the assignee for the bug.home | help
Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?bug-297107-7788-Lvs1x3942C>