Date: Tue, 28 Jul 2026 02:50:17 +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-cKJ6XD6sKK@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 Yuri Victorovich <yuri@freebsd.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Depends on| |297106 Referenced Bugs: https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=297106 [Bug 297106] math/z3: Update to 5.0.0 -- 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-cKJ6XD6sKK>